[ 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 Prolog
best_first_search
Best first search
bfs
Best-first search library
branch_and_bound
Generic branch-and-bound optimization
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)
clpfd
Compatibility package for M.Triska's clpfd library
colgen
Column generation library
concurrency
Engine utilities and higher-level threading functionality
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
csv
Utilities to manipulate comma-separated (csv) format
cumulative
Cumulative scheduling constraint library for FD
daVinci
This library provides a simple interface to the daVinci graph drawing tool
dbi
Interface to MySQL databases
document
Tools for generating documentation from ECLiPSe sources
dynamic_attributes
SWI/hProlog-style variable attribute interface
ech
Extended constraint handling rules library
eclipse_6
Compatibility definitions for ECLiPSe 6.X
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_gurobi
Load lib(eplex) with the Gurobi solver
eplex_osi
Load lib(eplex) with COIN-OR's OSI with a default solver
eplex_osi_clpcbc
Load lib(eplex) with COIN-OR's CLP (linear) with CBC (mixed integer) via OSI's OSIClpSolverInterface.
eplex_osi_glpk
Load lib(eplex) with GNU's GLPK via OSI's OSIGlpkSolverInterface.
eplex_osi_symclp
Load lib(eplex) with COIN-OR's SYMPHONY (mixed integer) with CLP (linear) via OSI's OSISymSolverIterface.
eplex_xpress
Load lib(eplex) with the XPRESS-MP solver
error
Utilities for argument type testing and error generation
fcompile
ECLiPSe III compiler - backward compatibility
fd
Finite domain library
fd_global
Various global constraints over lists of FD variables
fd_mdd
Extensional constraints over FD variables
fd_prop_test_util
Tools for testing global constraints
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))
foreign
Simple foreign interface like SICStus or Quintus
format
Partially implements the format/2,3 predicate
fromonto
Redirect input and output streams in a convenient way
gap
Library for interfacing with the GAP computational algebra system
gfd
Interface to gecode solver for integer finite domains
gfd_sbds
Symmetry Breaking During Search (SBDS)
gfd_search
This library provides the IC/FD compatible search-related components for the GFD-library
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
Solver over sets of integers (lex bounds, cooperates with lib(ic))
ic_kernel
Low-level interface to the common kernel of the IC solver
ic_make_overlap_bivs
Probe Search
ic_mdd
Extensional constraints over IC variables
ic_probe
Probing
ic_probe_search
Probe Search
ic_probe_support
Probe Support Library
ic_probing_for_scheduling
Probing for Scheduling
ic_prop_test_util
Tools for testing global constraints
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
iso_light
ISO Prolog compatibility library (light version)
iso_strict
Strict ISO Prolog compatibility library
java_vc
Module for the Java Visualisation Client
lazy_io
Mapping between lists and I/O streams
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
lists_of_structures
Operations on lists of structures
make_overlap_bivs
Probe Search
matrix_util
Predicates to build matrices from lists
max_flow
Ford-Fulkerson maximum flow algorithm
mdd_support
Operations on Multi-Valued Decision Diagrams
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
multifile
Multifile declaration, for Prolog compatibility
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
prolog_extras
Some predicates commonly available in Prolog systems
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
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
swi
SWI-Prolog compatibility package
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
threads
Prolog thread API (ISO/IEC Draft TR 13211-5:2007)
time_log
Module for logging and collating test times
timeout
Impose time limit for goals
timeout_simple
Impose time limit for goals (special version)
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 2017-11-22 13:48