engineering

3 notes from the field guide.

ProductField noteMay 11, 20263 min

Introducing NitroSAT: A High-Performance, Physics-Informed MaxSAT Solver Now Available via Navokoj API

ShunyaBar Labs is proud to announce the public release of NitroSAT — a next-generation MaxSAT approximator that achieves exceptional satisfaction rates on massive, real-world constraint problems while maintaining linear scaling in the number of clauses.

Read the note

ReportField noteJanuary 17, 20269 min

Empirical 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

Case studyField noteDecember 28, 20253 min

Kubernetes Placement: 2 Million Constraints, 100% Satisfaction

Navokoj, the Fault-Tolerant Constraint Intelligence Engine, delivers a case study in placement safety and outage prevention with 5,000 variables and 2 million constraints.

Read the note