]>
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 |