10

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



2009-07-28T19:47:30.953568Z
502
leberre














ba638df5-4473-46d1-82f8-c3ae2a17a6e1

learning
dir

SolverFactory.java
file




2010-03-26T11:42:32.560631Z
91b40ca3fa9922eb3f2f249a4683eb11
2009-05-16T11:58:51.055803Z
456
leberre





















12704

constraints
dir

restarts
dir

core
dir

uip
dir

orders
dir

package.html
file




2010-03-26T11:42:32.560631Z
728992c6ce4a1c550ec6fc43641c7228
2008-06-10T18:28:02.624411Z
8
leberre





















460

