org.opt4j.satdecoding
org.opt4j.satdecoding.sat4j
