10

dir
665
svn://svn.forge.objectweb.org/svnroot/sat4j/maven/tags/2_1_1/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-03-26T11:42:25.855379Z
c537ad85c3a4682283191ca2905ab04f
2008-06-10T22:48:33.958279Z
27
leberre





















2407

BinarySupportEncoding.java
file




2010-03-26T11:42:25.855379Z
04a478cecddee13e4046106823a4ce6f
2008-06-10T22:48:33.958279Z
27
leberre





















3853

GeneralizedSupportEncoding.java
file




2010-03-26T11:42:25.856378Z
e70a3e9c303ae92550d1a2076fc269aa
2008-10-12T18:47:49.760948Z
165
leberre





















3754

