[ 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_glpk
- Load lib(eplex) with the GLPK 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
- json
- Read and write JSON format
- 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 2022-09-03 14:26