]> git.pld-linux.org Git - packages/cvc3.git/log
projects / packages / cvc3.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next ⋅ patches
packages/cvc3.git
10 years ago- new master auto/th/cvc3-2.4.1-1
commit | commitdiff | tree
Jan Rękorajski [Thu, 16 May 2013 10:59:25 +0000 (12:59 +0200)]
- new

Validity checker of many-sorted first-order formulas with theories
This page took 0.07012 seconds and 4 git commands to generate.