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

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

Branch: pkgsrc-2019Q1, Version: 4.8.3, Package name: z3-4.8.3, 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] [math/ocaml-num]


Package options: ocaml

Master sites:

SHA1: bc713372c9be6808306a8e0844caf27c0a10ee2c
RMD160: 3b8bc18719725c0d110ca52f7e692519cbac341e
Filesize: 4022.574 KB

Version history: (Expand)