git.pld-linux.org Git - packages/alt-ergo.git/search

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

projects / packages / alt-ergo.git / search

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

2014-04-30	Jan Rękorajski	- up to 0.95.2	commit \| commitdiff \| tree
2013-05-16	Jan Rękorajski	- removed fedora leftovers	commit \| commitdiff \| tree
2013-05-16	Jan Rękorajski	- disable parallel build	commit \| commitdiff \| tree
2013-05-16	Jan Rękorajski	- new	commit \| commitdiff \| tree

Automated theorem prover including linear arithmetic

This page took 0.062668 seconds and 4 git commands to generate.