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

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

Branch: pkgsrc-2016Q1, Version: 4.4.1, Package name: z3-4.4.1, Maintainer: dholland

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

(SMT stands for "satisfiability modulo theories".)


Required to run:
[lang/python27] [lang/ocaml]


Package options: ocaml

Master sites:

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

Version history: (Expand)