Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision Les deux révisions suivantes
research:satminer [2014/04/15 15:03]
ecoquery [SATMiner]
research:satminer [2014/04/15 15:08]
ecoquery
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://www.sat4j.org/|SAT4J]] and a modified version of [[http://minisat.se/|MiniSat]] as backends. It also uses [[http://boolvar.sourceforge.net/|BoolVar/PB]] for translation of some pseudo-boolean constraints to SAT.+The current version is coded in Java and uses [[http://www.sat4j.org/|SAT4J]] and a modified version of [[http://minisat.se/|MiniSat]] as backends. It also uses the [[http://boolvar.sourceforge.net/|BoolVar/PB]] library, as well as an implementation of [[http://dl.acm.org/citation.cfm?id=1575495|cardinality networks]] for translation of some pseudo-boolean constraints to SAT.
  
 ===== Download ===== ===== Download =====