|
|
À essayer
-
ALIAS EN LIGNE ... un solveur de systèmes en
ligne utilisant la bibliothèque ALIAS
À voir aussi
|
le projet COPRIN ... a été créé au printemps 2002.
Il regroupe des chercheurs de l'ENPC/CERTIS, spécialistes de
programmation par contraintes et des chercheurs de l'INRIA travaillant sur
l'analyse par intervalles, décidés à conjuguer leurs approches pour résoudre
des systèmes de contraintes réelles.
|