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

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

Branch: pkgsrc-2017Q4, Version: 4.4.1nb4, Package name: z3-4.4.1nb4, 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]

Required to build:
[pkgtools/cwrappers]

Package options: ocaml

Master sites:

SHA1: 60094acaa53459ec694899aca9f17aa830875610
RMD160: 2c891e115a5d097dbbda53c1b322c65bc5b679f7
Filesize: 3268.917 KB

Version history: (Expand)