[ Reference Manual | Alphabetic Index ]

The ECLiPSe Libraries

anti_unify
Computes the most specific generalization of two terms
apply
The apply/2 higher-order predicate
apply_macros
Utilities to apply a predicate to all elements of a list resp. all subterms of a term
asm
Assemble and disassemble predicates
atts
Variable attributes compatible with SICStus v3
bfs
Best-first search library
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 - obsolescent, use library(ech) instead
cio
Predicates for C-Prolog style I/O (see/tell family)
colgen
Column generation library
config_opts
Library for managing configuration options for libraries and applications
conjunto
Finite Set Constraints Library - obsolescent, use library(fd_sets) instead
conjunto_fd_sets
lib(conjunto) compatibility wrapper for lib(fd_sets)
constraint_pools
Support for the creation of constraint pools
coverage
Tool for obtaining code coverage information
cprolog
C-Prolog compatibility package
cumulative
Cumulative scheduling constraint library for FD
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 for FD
edge_finder3
Cubic edge-finder algorithm for disjunctive and cumulative constraints for FD
eplex
Interface to external Simplex or MIP solvers
eplex_cplex
Load lib(eplex) with the CPLEX solver
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 FD variables
fd_sbds
Symmetry Breaking During Search (SBDS)
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 (cooperates with lib(fd))
flexlm
Interface to Flexlm licence manager
foreign
Simple foreign interface like SICStus or Quintus
fromonto
Redirect input and output streams in a convenient way
gap
Library for interfacing with the GAP computational algebra system
gnuplot
Interface to the function and data plotting program - gnuplot
graph_algorithms
Collection of graph algorithms
graphviz
Interface to Graphviz Graph Drawing Programs from AT&T
hash
Hash table library
heaps
Implement heaps in Prolog
http
HTTP library
http_client
HTTP client library
http_server
HTTP server library
ic
Hybrid integer/real interval arithmetic constraint solver
ic_cumulative
Cumulative scheduling constraint library for IC
ic_edge_finder
Quadratic edge-finder algorithm for disjunctive and cumulative constraints for IC
ic_edge_finder3
Cubic edge-finder algorithm for disjunctive and cumulative constraints for IC
ic_gap_sbdd
GAP-based Symmetry Breaking via Dominance Detection (SBDD)
ic_gap_sbds
GAP-based Symmetry Breaking During Search (SBDS)
ic_global
Various global constraints over lists of IC variables
ic_hybrid_sets
No description available
ic_kernel
Low-level interface to the common kernel of the IC solver
ic_make_overlap_bivs
Probe Search
ic_probe
Probing
ic_probe_search
Probe Search
ic_probe_support
Probe Support Library
ic_probing_for_scheduling
Probing for Scheduling
ic_sbds
Symmetry Breaking During Search (SBDS)
ic_sets
Solver over sets of integers (cooperates with lib(ic))
ic_symbolic
Solver for constraints over ordered symbolic domains
instprofile
Instrumentation / sampling based statistics profiler
instrument
Generic tool for code instrumentation
iso
ISO Prolog compatibility library
java_vc
Module for the Java Visualisation Client
linearize
Normalizers for arithmetic expressions
lint
Heuristic program checker
lips
Measure the system's speed using the naive reverse benchmark
lists
Predicates for list manipulation
make_overlap_bivs
Probe Search
matrix_util
Predicates to build matrices from lists
mip
An example implementing MIP-style branch-and-bound
mode_analyser
Instrumentation based mode analyser
module_options
Utility library to manage options within a library module
notify_ports
One-to-many and many-to-many notification ports
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
port_profiler
Port Counting Profiler
pretty_print
Pretty-printing of complex terms
pretty_printer
This library pretty-prints a file in different formats.
probe
Probing
probe_search
Probe Search
probe_support
Probe Support Library
probing_for_scheduling
Probing for Scheduling
profile
Profiling package for ECLiPSe programs
propia
The Generalised Propagation Library
queues
define queue operations
quintus
Quintus prolog compatibility package
quintus_util
No description available
regex
Interface to POSIX regular expression handling
remote_tools
Allow the Tk development tools to be used remotely
repair
Repair library: support for local search via tentative assignments and repair constraints
repairfd
No description available
scattered
Allow a source file to contain non-consecutive clauses
sd
Simple solver for constraints over unordered symbolic domains
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
source_processor
Tools for processing ECLiPSe sources
spell
Predicate name spelling correction
suspend
Lazy-checking versions of arithmetic primitives, and the suspend-attribute
sym_expr
Library for expressing the symmetries of a CSP
tentative
A framework for Local Search based on tentative values
tentative_constraints
Tentative value implementations for some basic constraints
test_util
Utilities for automated program tests
time_log
Module for logging and collating test times
timeout
Impose time limit for goals
toplevel
Interactive ECLiPSe toplevel interpreter
tty_vc
Simple TTY visualisation client
util
Various utility predicates for program development
var_name
Allows variables to be given stable and unique names.
vc_support
Library to support implementation of visualisation clients
viewable
Module for the management of viewables: arrays for visualisation
xref
Cross-referencing tool

Generated Tue May 23 02:58:20 2006