The Product Is the Surface. The Research Goes Deeper.
Navokoj is one operational expression of a larger research program. A guide for readers who want to follow the mathematics into ShunyaBar Labs' research site.
Read the note Field notes from the arithmetic manifold
Logic should be
a utility.
ShunyaBar Labs builds Navokoj—an industrial SAT and MaxSAT engine that replaces combinatorial search with continuous phase transitions, backed by downloadable proof artifacts.
Independent research labOpen preprintsProduction API
Constraint field
Verified assignment
ρ ≥ 0.99correlation guard
Prime-weighted flow through a continuous energy landscape.
3.7 msSUTRA median latency
90.1%SUTRA complete-SAT
5,140SUTRA workload runs
113MNitroSAT V3 clauses
10MQ-State constraints
Distinct campaigns —open the evidence ledger.
01Notes from the edge of
View all writing ↗Latest writing
Notes from the edge of
logic and physics.
Sponsor Preview: Fund the Research, Run the Solver
How GitHub Sponsors supports NitroSAT research and unlocks Navokoj compute credits for evaluation.
Read the noteThe Road to Enterprise: From Spectral Phase Transitions to a Production Runtime
How Navokoj evolved from a differentiable SAT experiment into a production constraint runtime with SUTRA, GPU routing, verification, usage billing, and customer-controlled deployment.
Read the noteQ-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 note02One theory,
Choose a path
One theory,
three ways in.
IFor builders
Ship a feature this week.
Send a problem to the API, inspect the result, and verify the assignment offline.
Start building →IIFor integratorsTurn constraints into a product.
Map scheduling, routing, and allocation problems onto a verifiable optimization service.
Explore use cases →IIIFor researchersRead the mathematics.
Follow prime weighting, partition functions, and phase transitions down to the axioms.
Enter the theory →03
Open-source benchmark
NitroSAT makes the claims reproducible.
The open-source solver behind Navokoj's Pro engine ships 358 instances across 19 problem types, with verification scripts and a complete Zenodo record.
Inspect NitroSAT ↗Average satisfaction99.58%
Problem types19
Largest perfect solve354,890 clauses
Renumbering deviation0.0000%
Keep following the field notes.