10

dir
825
svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.2.0/org.sat4j.csp/src/main/java/org/sat4j/csp/encodings
svn://svn.forge.objectweb.org/svnroot/sat4j



2008-10-12T18:47:49.760948Z
165
leberre














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




2010-11-24T13:43:48.270705Z
c537ad85c3a4682283191ca2905ab04f
2008-06-10T22:48:33.958279Z
27
leberre





















2407

BinarySupportEncoding.java
file




2010-11-24T13:43:48.271705Z
04a478cecddee13e4046106823a4ce6f
2008-06-10T22:48:33.958279Z
27
leberre





















3853

GeneralizedSupportEncoding.java
file




2010-11-24T13:43:48.271705Z
e70a3e9c303ae92550d1a2076fc269aa
2008-10-12T18:47:49.760948Z
165
leberre





















3754

