ECLiPSe is a software system for the development and deployment of
Constraint Programming applications, e.g. in the areas of
optimization,
planning,
scheduling,
resource allocation, timetabling, transport etc. It is also suited for teaching most aspects of
combinatorial problem solving, e.g.
problem modeling,
constraint programming,
mathematical programming, and
search techniques. It contains constraint solver libraries, a high-level modeling and control language (a superset of
Prolog), interfaces to third-party solvers, an integrated development environment and interfaces for embedding into host environments.