Tue, 04 May 2004 18:04:28 +0200 | webertj | redundant clause removed | file | diff | annotate |
Fri, 02 Apr 2004 17:28:16 +0200 | webertj | fixed dpll solver (now uses NNF) | file | diff | annotate |
Fri, 26 Mar 2004 19:58:43 +0100 | webertj | satsolver=dpll | file | diff | annotate |
Fri, 26 Mar 2004 12:21:50 +0100 | webertj | Installed solvers now determined at call time (as opposed to compile time) | file | diff | annotate |
Thu, 11 Mar 2004 00:15:24 +0100 | webertj | SML/NJ compatibility fixes | file | diff | annotate |
Wed, 10 Mar 2004 20:28:18 +0100 | webertj | Internal and external SAT solvers | file | diff | annotate |