[ 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 2020-02-26 22:26