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