ECLiPSe
ECLiPSe (ECRC Common Logic Programming System) is a development environment for constraint programming applications. It contains several constraint solver libraries which allow to develop efficient programs to solve combinatorial problems in planing, scheduling, resource allocation, timetabling, transport as well as in other areas like e.g. molecular biology. The ECLiPSe system is the integration of ECRC 's previous systems into a single powerful tool with extended Prolog technology, persistent knowledge base, constraints handling facilities and parallelism. It has a new open architecture for constraints extensions based on attributed variables and its constraint solvers allow the users to define and use new constraints at different conceptual levels.
|
Current Version: ??
License Type: Free binary for academic institutes, http://www.ecrc.de/eclipse/html/availability.html
|
Home Site:
Source Code Availability: No
Available Binary Packages:
Targeted Platforms: Software/Hardware Requirements:
|
Other Links:
Mailing Lists/USENET News Groups: User Comments:
See A Screen Shot? (Not Yet)
|