MyNixOS website logo
MyNixOS website logo
Flakes
Categories
Options
Packages
categories

by-name/z3

Showing entries 1-6 out of 6.
z3python312Packages.z3Nix package
python312Packages
High-performance theorem prover and SMT solver
z3python312Packages.z3-solverNix package
python312Packages
High-performance theorem prover and SMT solver
z3python313Packages.z3Nix package
python313Packages
High-performance theorem prover and SMT solver
z3python313Packages.z3-solverNix package
python313Packages
High-performance theorem prover and SMT solver
z3z3Nix package
High-performance theorem prover and SMT solver
z3-tptpNix package
TPTP wrapper for Z3 prover