10

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



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














ba638df5-4473-46d1-82f8-c3ae2a17a6e1

jnh
dir

test1.dimacs
file




2010-03-26T11:42:32.026631Z
96a404c9f4eaa109f0a3735bb4df2fa7
2008-07-11T09:04:00.922521Z
79
leberre





















88

test2.dimacs
file




2010-03-26T11:42:32.026631Z
4e39cca1dbcbb5f906cd2c4e7e64e484
2008-07-11T09:04:00.922521Z
79
leberre





















88

ii
dir

test3.dimacs
file




2010-03-26T11:42:32.027630Z
2efaeed7d16116359c2b4ab1346bcc0b
2008-07-11T09:04:00.922521Z
79
leberre





















89

aim-50-yes-ok.cnf
file




2010-03-26T11:42:32.027630Z
fe6af85bf91bafdb8806437b083cc61c
2008-07-11T09:04:00.922521Z
79
leberre





















1335

bug001.cnf
file




2010-03-26T11:42:32.028629Z
ca7d693ad42221f8c76917a91cd39450
2008-07-11T09:04:00.922521Z
79
leberre





















2336

pigeons
dir

testcomments.dimacs
file




2010-03-26T11:42:32.028629Z
7b7030b9b12f8d56f0925fece69399ff
2008-07-11T09:04:00.922521Z
79
leberre





















171

aim
dir

testcomments.cnf
file




2010-03-26T11:42:32.029630Z
7b7030b9b12f8d56f0925fece69399ff
2008-07-11T09:04:00.922521Z
79
leberre





















171

aim-50-no-ok.cnf
file




2010-03-26T11:42:32.029630Z
7c6e19eeea00dca1244159374706904b
2008-07-11T09:04:00.922521Z
79
leberre





















1289

