Thu, 04 Nov 2010 15:30:48 +0100 | blanchet | remove " s" suffix since seconds are now implicit | changeset | files |
Thu, 04 Nov 2010 14:59:44 +0100 | blanchet | ignore facts with only theory constants in them | changeset | files |
Thu, 04 Nov 2010 14:59:44 +0100 | blanchet | cosmetics | changeset | files |
Thu, 04 Nov 2010 14:59:44 +0100 | blanchet | use the SMT integration's official list of built-ins | changeset | files |