Libraries
ECLiPSe provides several libraries of constraint solvers which can be used in application programs:
Arithmetic constraints over finite domains, finite set constraints, generalized propagation, interval reasoning over non-linear constraints, interfaces to external simplex solvers, constraint handling rules (CHR) and more.
Other libraries implement search methods like branch-and-bound, repair-based search, limited discrepancy search.
ECLiPSe interfaces to external solvers, in particular the COIN-OR, CPLEX® and Xpress-MP linear and mixed-integer programming solvers.
To simplify porting tasks, compatibility libraries for ISO Prolog and other Prolog dialects (C-Prolog, Quintus, SICStus, SWI-Prolog) are provided.
Various other utility libraries, including a number of popular public-domain ones, are included in the distribution.
Read more about this topic: ECLi PSe
Famous quotes containing the word libraries:
“riding flatcars to Fresno,
Across the whole country
Steep towns, flat towns, even New York,
And oceans and Europe & libraries & galleries
And the factories they make rubbers in”
—Gary Snyder (b. 1930)