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:
“To me, nothing can be more important than giving children books, It’s better to be giving books to children than drug treatment to them when they’re 15 years old. Did it ever occur to anyone that if you put nice libraries in public schools you wouldn’t have to put them in prisons?”
—Fran Lebowitz (20th century)
“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)