Packages tagged: solver

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