Tue, 22 Jun 2010 18:31:49 +0200 | blanchet | added code to optionally perform fact filtering on the original (non-CNF) formulas | changeset | files |
Tue, 22 Jun 2010 17:10:01 +0200 | blanchet | more cosmetics | changeset | files |
Tue, 22 Jun 2010 17:07:39 +0200 | blanchet | cosmetics + prevent consideration of inlined Skolem terms in relevance filter | changeset | files |