Index of ftp://dimacs.rutgers.edu/pub/challenge/satisfiability/

[DIR] Parent Directory

[DIR] benchmarks  512.00b  December 9 1993
[DIR] contributed  512.00b  November 28 1993
[DIR] doc  512.00b  July 14 1993
[DIR] translators  512.00b  June 9 1993