maxsat
This library can be used to generate interpretable classification rules expressed as CNF/DNF and relaxed-CNF