Skip to content

First release
Compare
Choose a tag to compare
@Gbury Gbury released this 30 Nov 14:51
· 460 commits to master since this release
v0.1
9f421e6

First release of the modular SAT solver mSAT.

This library provides functor to easily build a SAT, SMT and/or McSAT solver given an implementation of terms. Current features of the solver are:

  • decent performances
  • proof output
  • push/pop operations
  • CNF transformation tools

This project derives from Alt-Ergo Zero, but does not provide any built-in theories, it is designed to let the users use their own implementation of terms and theories.

Assets 2
Loading