descriptionValidity checker of many-sorted first-order formulas with theories
last changeThu, 16 May 2013 10:59:25 +0000 (12:59 +0200)
shortlog
2013-05-16 Jan Rękorajski- new master auto/th/cvc3-2.4.1-1
tags
4 years ago auto/th/cvc3-2.4.1-1
heads
4 years ago master
This page took 0.19584 seconds and 7 git commands to generate.