[m-dev.] sat solvers

[Ian MacLarty]

Hi,

Regarding Richard's work, here are some links that may be of interest:

SATLIB - a collection of sat solvers and benchmarks:

http://www.intellektik.informatik.tu-darmstadt.de/SATLIB/
or
http://www.cs.ubc.ca/~hoos/SATLIB/index-ubc.html

The SAT '04 competition results - a competition to find the best 
solvers on different sets of benchmarks:

http://www.lri.fr/~simon/contest/results/

Ian.

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------