Software available on-line

• Southey, F and Schuurmans, D. (2001) ESG-BLP: A package of heuristic Boolean linear program search methods. esgblp.tar.gz, esgblp

• Southey, F and Schuurmans, D. (2001) ESG-SAT: A package of CNF satisfiability search methods (newer). esgsat.tar.gz, esgsat

• Southey, F and Schuurmans, D. (2000) SDF-SAT: A package of CNF satisfiability search methods (older). sdf.tar.gz, sdf

  (See related papers)

  Collections of CNF satisfiability problems dimacs-probs.tar.gz, satlib-probs.tar.gz,