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

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


Branch: pkgsrc-2018Q1, Version: 4.5.0nb1, Package name: z3-4.5.0nb1, Maintainer: dholland

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

(SMT stands for "satisfiability modulo theories".)


Required to run:
[lang/ocaml] [lang/python27] [math/ocaml-num]


Package options: ocaml

Master sites:

SHA1: 6f4e94e025fcc2fa2896524d8fbb9de0b3033854
RMD160: 81121307ac83f42989da49efda31964a94f7f5d5
Filesize: 3489.937 KB

Version history: (Expand)