Software

The laboratory tries as much as possible to make the software it produces available as free software. These software are identified by a badge that mentions their free license.

The use of a free license aims at facilitating the diffusion of our research results in the academic world and more generally in our digital society. It is also a way for the laboratory to share the effort of maintaining the tools and libraries it develops for its internal needs. These software are often available “in open development”, on the laboratory’s github account.

De

DecMining is a web page dedicated to declarative approaches for data mining. It contains software, datasets, publications and related links to others research groups.

Mi

This is a tool that use itemset mining to compress CNF boolean formulae using tseitin's encoding.

Sa

SATMiner is a library for searching interesting patterns using constraint programming/SAT backend

Sy

Implements a framework for breaking symmetries in itemset mining problems.

To

This is an algorithm for enumerating the Top-k models of a CNF propositional formula.