]> git.pld-linux.org Git - packages/alt-ergo.git/log
projects / packages / alt-ergo.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next ⋅ patches
packages/alt-ergo.git
10 years ago- new
commit | commitdiff | tree
Jan Rękorajski [Thu, 16 May 2013 10:35:22 +0000 (12:35 +0200)]
- new

Automated theorem prover including linear arithmetic
This page took 0.591084 seconds and 4 git commands to generate.