./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:

• https://github.com/Z3Prover/ (Download)

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

---

Version history: (Expand)

• (2018-04-04) Package added to pkgsrc.se, version z3-4.5.0nb1 (created)

---

---

This site is operated by pkgsrc.pub, Contact