MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. It is released under the MIT licence, and is currently used in a number of projects (see "Links"). On this page you will find binaries, sources, documentation and projects
... [More] related to MiniSat, including the Pseudo-boolean solver MiniSat+ and the CNF minimizer/preprocessor SatELite. Together with SatELite, MiniSat was recently awarded in the three industrial categories and one of the "crafted" categories of the SAT 2005 competition. [Less]
Compiler written to use as a reference to others who write real compilers. The emphasis is here on readability of code than anything else. It is written in Python for this very same reason. And even trivial things are commented or documented.
The idea is that one who wants to write a compiler
... [More] should be able to use this as a reference to get started and then write their compiler as efficiently as they want. [Less]
Scavenger is an automated theorem prover based on the new conflict resolution calculus,
which lifts some aspects of the conflict-drive clause learning approach used by sat-solvers to
logics with quantifiers.
This site uses cookies to give you the best possible experience.
By using the site, you consent to our use of cookies.
For more information, please see our
Privacy Policy