Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Dernière révision Les deux révisions suivantes | ||
research:satminer [2014/04/15 15:00] ecoquery [Download] |
research:satminer [2014/05/12 11:21] ecoquery [Download] |
||
---|---|---|---|
Ligne 2: | Ligne 2: | ||
SATMiner is a library for searching interesting patterns using constraint programming/ | SATMiner is a library for searching interesting patterns using constraint programming/ | ||
- | It is developed as a prototype for the [[http:// | + | It was initially |
It is currently used as a basis for experiments on SAT/pseudo boolean based pattern mining on: | It is currently used as a basis for experiments on SAT/pseudo boolean based pattern mining on: | ||
Ligne 8: | Ligne 8: | ||
* attributes sets in relational data (SatQL language) | * attributes sets in relational data (SatQL language) | ||
- | The current version is coded in Java and uses [[http:// | + | The current version is coded in Java and uses [[http:// |
===== Download ===== | ===== Download ===== | ||
- | SVN, stable branch: https://svn.liris.cnrs.fr/ | + | GIT, stable branch: https:// |
* {{: | * {{: |