Index of /temp/GA/jcell/JCell/problems/Combinatorial/Instances/SAT/.svn/text-base
Parent Directory
1.cnf.svn-base
12.cnf.svn-base
50.cnf.svn-base
instancias sat.rar.svn-base