Packages tagged: Z3

z3
Nim Z3 theorem prover bindings
Pure Nim Z3 optimization theorem solver sat 0.1.3 linux macos win