|
||||||||||||
|
||||||||||||
|
|
Home » Computer Sciences » Computer Science Theoretical » Complexity Science Theory » The SATLIB The SATLIB in Computer Engineering Resources Directory |
A collection of benchmark problems, solvers, and tools. Provides a uniform testbed for SAT solvers as well as a site for collecting SAT problem instances, algorithms, and empirical characterisations of the algorithms performance.
Website: http://www.satlib.org/
Sponsored Links