Packages tagged: smt

z3
Nim Z3 theorem prover bindings
Pure Nim Z3 optimization theorem solver sat 0.1.3 linux macos win
z3nim
Z3 binding for Nim
Wrapper z3 smt wrapper library 0.1.0 linux macos win