Packages tagged: sat

sat
A SAT solver written in Nim.
Pure Nim sat official solver 0.1.1 linux macos win
z3
Nim Z3 theorem prover bindings
Pure Nim Z3 sat smt theorem prover linux macos win