**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 2018-02-18 19:43