10

dir
665
svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/2_1_1/org.sat4j.core/src/test/testfiles/pigeons
svn://svn.forge.objectweb.org/svnroot/sat4j



2008-07-15T20:27:21.960133Z
90
leberre














ba638df5-4473-46d1-82f8-c3ae2a17a6e1

hole6.cnf
file




2010-03-26T11:42:31.582631Z
973b020daf3f145df1695518f8890a5d
2008-07-11T09:04:00.922521Z
79
leberre





















2575

hole7.cnf
file




2010-03-26T11:42:31.583630Z
16c2aa7cab0e1835522a5aa36252d157
2008-07-11T09:04:00.922521Z
79
leberre





















3724

