10

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



2009-07-27T12:42:32.904287Z
501
leberre














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




2010-03-26T11:42:26.157378Z
96a404c9f4eaa109f0a3735bb4df2fa7
2008-06-10T18:28:02.624411Z
8
leberre





















88

test2.dimacs
file




2010-03-26T11:42:26.158378Z
4e39cca1dbcbb5f906cd2c4e7e64e484
2008-06-10T18:28:02.624411Z
8
leberre





















88

test3.dimacs
file




2010-03-26T11:42:26.158378Z
2efaeed7d16116359c2b4ab1346bcc0b
2008-06-10T18:28:02.624411Z
8
leberre





















89

bug001.cnf
file




2010-03-26T11:42:26.158378Z
ca7d693ad42221f8c76917a91cd39450
2008-06-10T18:28:02.624411Z
8
leberre





















2336

testcomments.dimacs
file




2010-03-26T11:42:26.159378Z
7b7030b9b12f8d56f0925fece69399ff
2008-06-10T18:28:02.624411Z
8
leberre





















171

org
dir

