SAT4J MAXSAT 2014 This is the default release of Sat4j Maxsat as built in April 20, 2014. Compared to previous version, the solver uses a concise representation of binary clauses to reduce the memory consumption on large application benchmarks.