From NitroSAT Research to the Navokoj Runtime
Why ShunyaBar Labs keeps an open research release while building a commercial constraint runtime around it.
Read the noteopen-source
2 notes from the field guide.
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