Programmi di eclipseclp.org

EcLiPSe Constraint Logic Programming System è progettato per risolvere problemi di ottimizzazione combinatoria, per lo sviluppo di nuove tecnologie di risolutori di vincoli e dei loro ibridi, e per l'insegnamento di tecniche