Version 1.3 is the first public release.


[ nanosat-1.3.tar.gz ]

These are the sources of the SAT solver NanoSAT. The SAT problem is the classical NP complete problem of searching for a satisfying assignment of a propositional formula in conjunctive normal form (CNF).


NanoSAT uses a BSD style license. In essence, you can use and modify the sources as you like provided that you acknowledge the origin of the software. More details can be found in the LICENSE file that comes with the sources.


More information on NanoSAT can be found in a technical report.

General information on the SAT problem can be found at