[ Reference Manual | Alphabetic Index ]
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 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
- 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))
- fdplex
- An example of a hybrid solver, using lib(fd) and lib(eplex)
- flexlm
- Interface to Flexlm licence manager
- foreign
- Simple foreign interface like SICStus or Quintus
- fromonto
- Redirect input and output streams in a convenient way
- 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_eplex
- Load lib(eplex) with the IC solver
- ic_eplex_cplex
- Load lib(eplex) with the CPLEX solver and lib(ic)
- ic_eplex_xpress
- Load lib(eplex) with the XPRESS-MP solver and lib(ic)
- ic_global
- Various global constraints over lists of IC variables
- 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 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
- range
- Allow variables to range over integer or real intervals.
- range_eplex
- Load lib(eplex) with the range solver
- 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
- ria
- Real number Interval Arithmetic constraint solver - superseded by library(ic)
- s_eplex
- Load lib(eplex) with bounds stored in external 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
- source_processor
- Tools for processing ECLiPSe sources
- spell
- Predicate name spelling correction
- suspend
- Lazy-checking versions of arithmetic primitives, and the suspend-attribute
- 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 Sat Aug 7 01:44:42 2004