Sat 4 Sequence

SATMiner est une bibliothèque pour la recherche de motifs intéressants à l’aide de la programmation par contraintes/SAT. Elle est actuellement utilisée comme base pour des expériences sur l’exploration de motifs basés sur SAT/pseudo-booléens sur des ensembles d’attributs de séquences dans des données relationnelles (langage RLT). La version actuelle est codée en Java et utilise SAT4J et une version modifiée de MiniSat comme backend. Elle utilise également BoolVar/PB pour la traduction de certaines contraintes pseudo-booléennes en SAT page connexe.