descriptionAutomated theorem prover including linear arithmetic
last changeWed, 30 Apr 2014 17:44:34 +0000 (19:44 +0200)
shortlog
2014-04-30 Jan Rękorajski- up to 0.95.2 master auto/th/alt-ergo-0.95.2-1
2013-05-16 Jan Rękorajski- removed fedora leftovers
2013-05-16 Jan Rękorajski- disable parallel build auto/th/alt-ergo-0.95.1-1
2013-05-16 Jan Rękorajski- new
tags
3 years ago auto/th/alt-ergo-0.95.2-1
4 years ago auto/th/alt-ergo-0.95.1-1
heads
3 years ago master
This page took 0.207305 seconds and 7 git commands to generate.