Fri, 29 Oct 2010 12:49:05 +0200 | blanchet | no need for setting up the kodkodi environment since Kodkodi 1.2.9 | changeset | files |
Fri, 29 Oct 2010 12:49:05 +0200 | blanchet | fixed order of quantifier instantiation in new Skolemizer | changeset | files |
Fri, 29 Oct 2010 12:49:05 +0200 | blanchet | restructure Skolemization code slightly | changeset | files |