Outils de la page

Piste:

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:start [2012/07/27 13:08]
ecoquery [Publications] 		research:start [2012/11/20 16:22]
ecoquery [Software]
Ligne 18: Ligne 18:
  
   * [[:research:satminer|SATMiner]]: Software for finding interesting pattern using constraint programming and SAT backend.   * [[:research:satminer|SATMiner]]: Software for finding interesting pattern using constraint programming and SAT backend.
-  * [[http://contraintes.inria.fr/~coquery/tclp|TCLP]]: A typing softer for contraint logic languages and [[http://dtai.cs.kuleuven.be/CHR/|CHR]].+  * [[:research:tclp:start|TCLP]]: A typing softer for contraint logic languages and [[http://dtai.cs.kuleuven.be/CHR/|CHR]].
CC Attribution-Noncommercial-Share Alike 3.0 Unported Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 3.0 Unported
research/start.txt · Dernière modification: 2018/06/21 10:29 de ecoquery Haut de page