Home / Computer science
The de facto the standard
collection of SAT problems for benchmarking
and research in general.