summaryrefslogtreecommitdiff
path: root/math/z3
AgeCommit message (Expand)AuthorFilesLines
2017-09-08Recursive revbump associated with update of ocaml to 4.05jaapb1-2/+2
2017-07-11Revbump associated with ocaml-4.04.2jaapb1-2/+2
2016-12-30Recursive revbump associated with ocaml update to 4.04.jaapb1-2/+2
2016-07-16gcc6 build fixmarkd3-1/+33
2016-05-05Recursive revbump associated with ocaml update.jaapb1-1/+2
2015-11-24Package the Z3 theorem prover / SMT solver from Microsoft Research.dholland6-0/+112