A C D G H L M N O P R S U W

O

org.sat4j.maxsat - package org.sat4j.maxsat

MAXSAT and Weighted Max SAT framework.

org.sat4j.maxsat.reader - package org.sat4j.maxsat.reader

Some utility classes to read problems from plain text files.