10

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



2009-06-16T15:53:06.131185Z
470
leberre














ba638df5-4473-46d1-82f8-c3ae2a17a6e1

LubyRestarts.java
file




2010-03-26T11:42:32.382629Z
cfe3fe6ac17295b0bfea7f4f4f21978c
2009-06-16T15:53:06.131185Z
470
leberre





















3539

NoRestarts.java
file




2010-03-26T11:42:32.383630Z
ad2ad8128370c91cc5c427785c5f8901
2008-08-06T15:15:36.730713Z
117
leberre





















1979

MiniSATRestarts.java
file




2010-03-26T11:42:32.383630Z
af04d8aae64e6d8dd185aa80854dde03
2009-01-16T20:47:48.419004Z
273
leberre





















2330

ArminRestarts.java
file




2010-03-26T11:42:32.383630Z
ed8357654fed851adf1602eaa6a3ab77
2009-01-16T20:47:48.419004Z
273
leberre





















2689

package.html
file




2010-03-26T11:42:32.384629Z
12d5e98786b2e339a2b8c5ecbf301231
2008-06-10T18:28:02.624411Z
8
leberre





















42

