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 |