satsolver topic

List satsolver repositories

z3-mode

22
Stars
7
Forks
Watchers

An interactive development environment for SMT-LIB files and Z3

verified publisher icon zv

pigosat

15
Stars
4
Forks
Watchers

Go (golang) bindings for Picosat, the satisfiability solver

verified publisher icon wkschwartz