About Echidna
Echidna- Constraint logic programming language that includes ideas from object-oriented programming and intelligent backtracking. Constraints include finite domain constraints (as in CHiP) and disjoint real interval domain constraints. FTP Site.
