Différences
Ci-dessous, les différences entre deux révisions de la page.
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] |
===== 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) |