./math/z3, The Z3 theorem prover / SMT solver

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: pkgsrc-2022Q2, Version: 4.8.3nb3, Package name: z3-4.8.3nb3, Maintainer: dholland

z3 is an open source theorem prover / SMT solver from Microsoft Research.

(SMT stands for "satisfiability modulo theories".)



Package options: ocaml

Master sites:

Filesize: 4022.574 KB

Version history: (Expand)