| Wed, 14 Mar 2007 01:35:02 +0100 | webertj | is_nnf/is_cnf added, defcnf does nothing now if the formula already is in CNF | file | diff | annotate |
| Thu, 31 Aug 2006 02:59:08 +0200 | webertj | term_of_prop_formula added | file | diff | annotate |
| Sun, 09 Oct 2005 17:06:03 +0200 | webertj | Tactics sat and satx reimplemented, several improvements | file | diff | annotate |