minicard

MiniCard: An efficient cardinality solver based on MiniSAT

OTHER License

Stars
17
View Code on GitHub
Ecosystems: C++

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

Related Projects
camada

09 May 2020 4
yabai-sat

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

19 Nov 2018 9
MARCO

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

08 Aug 2017 17
libsnark

C++ library for zkSNARKs

02 Jun 2014 1,815
PyMiniSolvers

A Python API for the MiniSat and MiniCard constraint solvers.

11 Mar 2014 19
minisat

A minimalistic and high-performance SAT solver

06 Sep 2009 1,014
minisatp

The Pseudo-Boolean Solver MiniSat+

09 May 2011 24
tip

A model checker based on SAT solving and induction

30 Mar 2012 12