Ceci est une ancienne révision du document !


SATMiner

SATMiner is a library for searching interesting patterns using constraint programming/SAT backend. It is developed as a prototype for the DAG project, in collaboration with people at CRIL.

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.

Download

  • source (2014-02-17, includes Boolvar/PB and a modified version of minisat)

Involved people