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
research:satminer [2014/05/12 11:21]
ecoquery [Download]
research:satminer [2014/05/12 15:36] (Version actuelle)
ecoquery [Download]
Ligne 12: Ligne 12:
 ===== Download ===== ===== Download =====
  
-GIT, stable branch: https://​liris.cnrs.fr/​~ecoquery/​satminer.git+GIT, stable branch: https://​liris.cnrs.fr/​~ecoquery/​satminer.git, {{:​research:​satminer:​satminer.jar|lastest stable binary jar file}}
  
 +  * {{:​research:​satminer-2014-05-12.tgz|source}} (2014-05-12,​ changed syntax for SatQL((this breaks backward compatibility)):​ now SQL expressions (queries and conditions) should be in  "{ }" braces and Java joins are not available anymore. However arbitrary SQL expressions can now be used)
   * {{:​research:​satminer-2014-04-15.tbz|source}} (2014-04-15,​ added IF THEN, LIKE, LIMIT to SatQL, ​ [[http://​liris.cnrs.fr/​~ecoquery/​files/​satminer-2014-04-15-with-bench-data.tbz|version including bench datasets]])   * {{:​research:​satminer-2014-04-15.tbz|source}} (2014-04-15,​ added IF THEN, LIKE, LIMIT to SatQL, ​ [[http://​liris.cnrs.fr/​~ecoquery/​files/​satminer-2014-04-15-with-bench-data.tbz|version including bench datasets]])
   * {{:​research:​satminer-2014-02-18.tgz|source}} (2014-02-18,​ includes Boolvar/PB and a modified version of minisat, fixes compilation problems)   * {{:​research:​satminer-2014-02-18.tgz|source}} (2014-02-18,​ includes Boolvar/PB and a modified version of minisat, fixes compilation problems)