Q-State Solves a 9x9 Sudoku Through the Navokoj API
A live Q-State API run solved an 81-variable Sudoku model with 100% satisfaction and zero conflicts.
Read the noteapi
5 notes from the field guide.
SUTRA on the API: A Small Weighted Constraint Problem, Solved End to End
A concrete WCNF-style API request using engine:nitro, with hard-feasibility, soft preferences, routing, and verification metadata in one response.
Read the noteNavokoj Pricing: Plans, Workloads, and Compute
How Navokoj combines monthly workload entitlements with explicit CPU and GPU compute settlement.
Read the noteWhat Happens When the Deadline Arrives?
Navokoj is designed for deadline-bounded decisions: here is what an application receives when a solve cannot finish perfectly.
Read the noteEmpirical Evaluation of Navokoj Constraint Solver API
Production verification of anytime constraint solving with partial satisfaction semantics. 47 test cases, scaling analysis, and failure mode characterization.
Read the note