Pinned Repositories
.github
ipasir2
IPASIR 2 Specification and Discussion
ipasir2-cpp
C++ Bindings for IPASIR 2
ipasir2_solver_cadical
CaDiCaL SAT Solver with IPASIR 2 Support
ipasir2_solver_cryptominisat
An advanced SAT solver
ipasir2_solver_lingeling
Lingeling SAT Solver IPASIR2 Prototype
ipasir2_solver_minisat
A minimalistic and high-performance SAT solver
IPASIR 2 Workgroup's Repositories
ipasir2/ipasir2
IPASIR 2 Specification and Discussion
ipasir2/ipasir2-cpp
C++ Bindings for IPASIR 2
ipasir2/.github
ipasir2/ipasir2_solver_cadical
CaDiCaL SAT Solver with IPASIR 2 Support
ipasir2/ipasir2_solver_cryptominisat
An advanced SAT solver
ipasir2/ipasir2_solver_lingeling
Lingeling SAT Solver IPASIR2 Prototype
ipasir2/ipasir2_solver_minisat
A minimalistic and high-performance SAT solver