10

dir
825
svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.2.0/org.sat4j.core/src/test/java
svn://svn.forge.objectweb.org/svnroot/sat4j



2010-04-20T21:41:29.424512Z
683
"daniel"














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




2010-11-24T13:43:48.740705Z
96a404c9f4eaa109f0a3735bb4df2fa7
2008-06-10T18:28:02.624411Z
8
leberre





















88

test2.dimacs
file




2010-11-24T13:43:48.740705Z
4e39cca1dbcbb5f906cd2c4e7e64e484
2008-06-10T18:28:02.624411Z
8
leberre





















88

test3.dimacs
file




2010-11-24T13:43:48.741705Z
2efaeed7d16116359c2b4ab1346bcc0b
2008-06-10T18:28:02.624411Z
8
leberre





















89

bug001.cnf
file




2010-11-24T13:43:48.741705Z
ca7d693ad42221f8c76917a91cd39450
2008-06-10T18:28:02.624411Z
8
leberre





















2336

testcomments.dimacs
file




2010-11-24T13:43:48.741705Z
7b7030b9b12f8d56f0925fece69399ff
2008-06-10T18:28:02.624411Z
8
leberre





















171

org
dir

