| Tue, 23 Nov 2004 15:36:39 +0100 |
webertj |
external solvers may now overwrite existing temporary files
|
file |
diff |
annotate
|
| Fri, 19 Nov 2004 15:05:10 +0100 |
webertj |
solver auto now returns the result of the first solver that does not raise NOT_CONFIGURED (which may be UNKNOWN)
|
file |
diff |
annotate
|
| Sat, 14 Aug 2004 16:27:56 +0200 |
webertj |
bugfix in read_dimacs_cnf_file
|
file |
diff |
annotate
|
| Mon, 12 Jul 2004 19:56:58 +0200 |
webertj |
read_dimacs_cnf_file added
|
file |
diff |
annotate
|
| Tue, 22 Jun 2004 14:14:08 +0200 |
webertj |
faster conversion into DIMACS CNF and DIMACS SAT format
|
file |
diff |
annotate
|
| Thu, 17 Jun 2004 22:01:23 +0200 |
webertj |
new SAT solver interface
|
file |
diff |
annotate
|
| Wed, 26 May 2004 17:42:46 +0200 |
webertj |
solver "auto" now issues a warning when it uses solver "enumerate"
|
file |
diff |
annotate
|
| Mon, 17 May 2004 14:05:06 +0200 |
webertj |
Comments fixed
|
file |
diff |
annotate
|
| 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
|