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 optimization theorem solver sat 0.1.3 linux macos win