Collection of examples for the MiniSat API
OTHER License
No README available, please check again later.
MiniCard: An efficient cardinality solver based on MiniSAT
Research for N-API Bindings
sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS ...
A model checker based on SAT solving and induction
C-Bindings to MiniSat
A minimalistic and high-performance SAT solver
A Python API for the MiniSat and MiniCard constraint solvers.
The Pseudo-Boolean Solver MiniSat+
A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infe...