Opt4J

The SAT decoding module for Opt4J

Homepage POM file JAR file Javadoc
'org.opt4j:opt4j-satdecoding:3.0'

Dependencies

Compile dependencies

Test dependencies