10

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



2009-02-14T16:51:59.475460Z
314
leberre














ba638df5-4473-46d1-82f8-c3ae2a17a6e1

Example.wcnf
file




2010-03-26T11:42:33.103629Z
faf0ef015fc617b9e7c60802a4635ec2
2008-06-10T19:53:21.837985Z
16
leberre





















173

Inconsistent_Example.wcnf
file




2010-03-26T11:42:33.104631Z
5be98c0cba9ed91c3eccdd9ff58da2e1
2009-01-14T13:25:10.402955Z
265
leberre





















149

MarcelBugsTests.java
file




2010-03-26T11:42:33.104631Z
e2ea87c70c9c452b200000befe4c72b1
2009-02-14T16:51:59.475460Z
314
leberre





















2084

TestDavid.java
file




2010-03-26T11:42:33.104631Z
fceade169d94a48e6f41c750df7950d9
2009-01-14T13:25:10.402955Z
265
leberre





















3831

AnotherExample.wcnf
file




2010-03-26T11:42:33.105630Z
4e8680a152f6643009ffabbaea84e277
2008-06-10T19:53:21.837985Z
16
leberre





















161

MichalBug.java
file




2010-03-26T11:42:33.105630Z
a1ca05e3d246393ec2f6d653e109e530
2008-09-01T21:16:12.922073Z
131
leberre





















2527

Inconsistent1.wcnf
file




2010-03-26T11:42:33.105630Z
9abec41c987e65d7b0de502a60f240e4
2008-06-10T19:53:21.837985Z
16
leberre





















185

Inconsistent2.wcnf
file




2010-03-26T11:42:33.106629Z
23bd18c88e9964a359afb11dc0043cce
2008-06-10T19:53:21.837985Z
16
leberre





















197

