git.pld-linux.org Git - packages/z3.git/search

]> git.pld-linux.org Git - packages/z3.git/search

projects / packages / z3.git / search

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

2021-12-20	Jakub Bogusz	- updated to 4.8.13	commit \| commitdiff \| tree
2019-12-28	Jakub Bogusz	- updated cmake options	commit \| commitdiff \| tree
2019-12-28	Jakub Bogusz	- updated to 4.8.7	commit \| commitdiff \| tree
2019-10-05	Jakub Bogusz	- fix build without ocaml_opt	commit \| commitdiff \| tree
2019-10-05	Jakub Bogusz	- updated to 4.8.5	commit \| commitdiff \| tree

High-performance theorem prover developed at Microsoft Research

This page took 0.057036 seconds and 3 git commands to generate.