projects / packages / cvc3.git / summary
| description | Validity checker of many-sorted first-order formulas with theories |
| last change | Thu, 16 May 2013 10:59:25 +0000 (12:59 +0200) |
| URL | git://git.pld-linux.org/packages/cvc3.git |
| ssh://git@git.pld-linux.org/packages/cvc3.git |
| 2013-05-16 | Jan Rękorajski | - new master auto/th/cvc3-2.4.1-1 | commit | commitdiff | tree | snapshot |
| 10 years ago | auto/th/cvc3-2.4.1-1 | | commit | shortlog | log |
| 10 years ago | master | shortlog | log | tree |