GitPlanet
All Categories → No Category → satsolver

Top 2 satsolver open source projects

pigosat
Go (golang) bindings for Picosat, the satisfiability solver
✭ 15
cgooptimizationoptimizernp-hardnp-completesatsolverpicosatsatisfiability-solver
z3-mode
An interactive development environment for SMT-LIB files and Z3
✭ 20
emacs lispsatsolversmtlibsmtlibv2z3
1-2 of 2 satsolver projects