]> git.pld-linux.org Git - packages/cvc3.git/commit
projects / packages / cvc3.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
- new master auto/th/cvc3-2.4.1-1
authorJan Rękorajski <baggins@pld-linux.org>
Thu, 16 May 2013 10:59:25 +0000 (12:59 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Thu, 16 May 2013 10:59:25 +0000 (12:59 +0200)
commit1b1c55f5a3f8105af6b14569c024fe30571b8e9b
tree32691d33d3927f5fbbfdf0c5bbb335596db451bftree | snapshot
- new
cvc3-doxygen.patch [new file with mode: 0644] blob
cvc3.spec [new file with mode: 0644] blob
Validity checker of many-sorted first-order formulas with theories
This page took 0.091522 seconds and 4 git commands to generate.