Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
categories
by-name
z3
categories
by-name/z3
Showing entries 1-4 out of 4.
z3
python312Packages.z3-solver
Nix package
python312Packages
High-performance theorem prover and SMT solver
z3
python313Packages.z3-solver
Nix package
python313Packages
High-performance theorem prover and SMT solver
z3
z3
Nix package
High-performance theorem prover and SMT solver
z3-tptp
Nix package
TPTP wrapper for Z3 prover
Previous
1
Next
