SAT Solver GUI Tool for Data Mining

This project provides a graphical user interface (GUI) for running SAT solvers to mine high-utility and rare patterns from transactional datasets.

Classical high-utility itemset

maximal high-utility itemset

minimal high-utility itemset

Frequent and locally frequent high-utility itemsets

Minimal rare itemset mining

Code Link