src/HOL/Tools/sat_solver.ML
2004-05-26 webertj 2004-05-26 solver "auto" now issues a warning when it uses solver "enumerate"
2004-05-17 webertj 2004-05-17 Comments fixed
2004-05-04 webertj 2004-05-04 redundant clause removed
2004-04-02 webertj 2004-04-02 fixed dpll solver (now uses NNF)
2004-03-26 webertj 2004-03-26 satsolver=dpll
2004-03-26 webertj 2004-03-26 Installed solvers now determined at call time (as opposed to compile time)
2004-03-11 webertj 2004-03-11 SML/NJ compatibility fixes
2004-03-10 webertj 2004-03-10 Internal and external SAT solvers