Up: Computer science [Top][Contents]
The de facto the standard
collection of SAT problems for benchmarking
and research in general.