SATMiner is a library for searching interesting patterns using constraint programming/SAT backend. It is currently used as a basis for experiments on SAT/pseudo boolean based pattern mining on sequences attributes sets in relational data (RLT language) The current version is coded in Java and uses SAT4J and a modified version of MiniSat as backends. It also uses BoolVar/PB for translation of some pseudo-boolean constraints to SAT related page.

Any category    Data Mining