Index of ftp://ftp.uni-paderborn.de/pub/doc/SAT-Wettbewerb/satcomp

[DIR] Parent Directory

[DIR] easy  216.00b  October 9 1994
[TXT] fogen.c  2.71Kb  October 21 1992
[DIR] hard  216.00b  October 9 1994
[TXT] kraut.c  3.22Kb  October 21 1992
[ ] readme  115.00b  March 9 1993