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

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


Branch: CURRENT, Version: 4.4.1nb5, Package name: z3-4.4.1nb5, 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)


CVS history: (Expand)


   2018-01-10 17:53:15 by Jaap Boender | Files touched by this commit (107) | Package updated
Log message:
Recursive revbump associated with the update to OCaml 4.06.
   2017-09-08 11:51:27 by Jaap Boender | Files touched by this commit (113) | Package updated
Log message:
Recursive revbump associated with update of ocaml to 4.05
   2017-07-11 16:19:23 by Jaap Boender | Files touched by this commit (71)
Log message:
Revbump associated with ocaml-4.04.2
   2016-12-30 12:17:03 by Jaap Boender | Files touched by this commit (89) | Package updated
Log message:
Recursive revbump associated with ocaml update to 4.04.
   2016-07-16 06:02:13 by Mark Davies | Files touched by this commit (3)
Log message:
gcc6 build fix
   2016-05-05 13:45:43 by Jaap Boender | Files touched by this commit (91) | Package updated
Log message:
Recursive revbump associated with ocaml update.
   2015-11-24 06:45:58 by David A. Holland | Files touched by this commit (6)
Log message:
Package the Z3 theorem prover / SMT solver from Microsoft Research.