The ECLiPSe Libraries

anti_unify

Computes the most specific generalization of two terms

apply

Contains the apply/2 predicate

apply_macros

Utilities to apply a predicate to all elements of a list resp. all subterms of a term

asm

Assemble and disassmble predicates

atts

Variable attributes compatible with SICStus v3

branch_and_bound

Generic branch-and-bound primitives

calendar

Routines for calendar computations, based on modified julian dates (MJD).

cgi

Some utilities for writing cgi scripts with ECLiPSe

changeset

Compute sets of modified variables

chr

Constraint Handling Rules Library

cio

Predicates for C-Prolog style I/O (see/tell family)

conjunto

Finite Set Constraints Library

conjunto_fd_sets

lib(conjunto) compatibility wrapper for lib(fd_sets)

cprolog

C-Prolog compatibility package

cumulative

Cumulative scheduling constraint library

daVinci

This library provides a simple interface to the daVinci graph drawing tool

document

Tools for generating documentation from ECLiPSe sources

ech

Extended constraint handling rules library

edge_finder

Quadratic edge-finder algorithm for disjunctive and cumulative constraints

edge_finder3

Cubic edge-finder algorithm for disjunctive and cumulative constraints

eplex

Interface to external Simplex or MIP solvers

eplex_cplex

Load lib(eplex) with the CPLEX solver

eplex_relax

Linear relaxations of constraints for eplex

eplex_xpress

Load lib(eplex) with the XPRESS-MP solver

fcompile

Generate platform independent object files

fd

Finite domain library

fd_global

Various global constraints over lists of finite domain variables

fd_search

This library contains a generic search routine which implements a number of partial search methods (complete, credit, lds, bbs, dbs)

fd_sets

Solver over sets of integers

fdplex

An example of a hybrid solver, using lib(fd) and lib(eplex)

foreign

Simple foreign interface like SICStus or Quintus

fromonto

Redirect input and output streams in a convenient way

graph_algorithms

Collection of graph algorithms

hash

Hash table library

http

HTTP library

http_client

HTTP client library

http_server

HTTP server library

iso

ISO Prolog compatibility library

linearize

Normalizers for arithmetic expressions

lips

Measure the system's speed using the naive reverse benchmark

lists

Predicates for list manipulation

matrix_util

Predicates to build matrices from lists

mip

An example implementing MIP-style branch-and-bound

notinstance

Constraints for structural equality and subsumption

numbervars

C-Prolog style numbervars predicate

ordset

Ordered set manipulation utilities

par_util

Parallel versions of various predicates

pretty_print

Pretty-printing of complex terms

profile

Profiling package for ECLiPSe programs

propia

The Generalised Propagation Library

ptags

Tags file creator

quintus

Quintus prolog compatibility package

quintus_util

No description available

r

Linear constraints over rational numbers (unsupported)

range

Allow variables to range over integer or real intervals.

repair

Repair library: support for local search via tentative assignments and repair constraints

repairfd

No description available

ria

Real number Interval Arithmetic constraint solver

scattered

Allow a source file to contain non-consecutive clauses

sepia

A number of obsolete SEPIA built-ins

shadow_cons

A library implementing shadow, or 'local', constraint stores

sicstus

SICStus Prolog Compatibility Package

sockets

Sicstus compatible sockets interface

spell

Predicate name spelling correction

suspend

Basic coroutining with triggering on instantiation, binding, constraining

test_util

Utilities for automated program tests

toplevel

Interactive toplevel using a string-based protocol.

util

Various utility predicates for program development

xref

Cross-referencing tool