minisat-examples

Collection of examples for the MiniSat API

OTHER License

Stars
12
View Code on GitHub
Ecosystems: C++

Statistics for this project are still being loaded, please check back later.

Related Projects
abi-stable-node-research

Research for N-API Bindings

30 Oct 2018 7
minicard

MiniCard: An efficient cardinality solver based on MiniSAT

01 Jun 2012 17
minisatp

The Pseudo-Boolean Solver MiniSat+

09 May 2011 24
tip

A model checker based on SAT solving and induction

30 Mar 2012 12
minisat

A minimalistic and high-performance SAT solver

06 Sep 2009 1,014
minisat-c-bindings

C-Bindings to MiniSat

28 Apr 2011 7
yabai-sat

sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS ...

19 Nov 2018 9
PyMiniSolvers

A Python API for the MiniSat and MiniCard constraint solvers.

11 Mar 2014 19
MARCO

A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infe...

08 Aug 2017 17