[ Reference Manual | Alphabetic Index ]

# Constraints

bfs
  Best-first search library
cardinal
  Finite Set Constraints Library
changeset
  Compute sets of modified variables
chr
  Constraint Handling Rules Library - obsolescent, use library(ech) instead
clpfd
  Compatibility package for M.Triska's clpfd library
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
cumulative
  Cumulative scheduling constraint library for FD
cycle
  Cycle constraint
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_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
fd
  Finite domain library
fd_global
  Various global constraints over lists of FD variables
fd_global_gac
  Library of global constraints which achieve generalized arc consistency
fd_mdd
  Extensional constraints over 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))
flatzinc
  Interpreter for FlatZinc
fzn_eplex
  Mapping from FlatZinc to lib(eplex)
fzn_fd
  Mapping from FlatZinc to lib(fd) and lib(fd_sets)
fzn_ic
  Mapping from FlatZinc to lib(ic) and lib(ic_sets)
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
grasper
  Finite Graphs Constraints 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_global_gac
  Library of global constraints which achieve generalized arc consistency
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_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
ldsb
  Lightweight dynamic symmetry breaking for finite domains.
make_overlap_bivs
  Probe Search
minizinc
  Utilities for using MiniZinc with ECLiPSe
mip
  An example implementing MIP-style branch-and-bound
probe
  Probing
probe_search
  Probe Search
probe_support
  Probe Support Library
probing_for_scheduling
  Probing for Scheduling
propia
  The Generalised Propagation Library
repair
  Repair library: support for local search via tentative assignments and repair constraints
sd
  Simple solver for constraints over unordered symbolic domains
shadow_cons
  A library implementing shadow, or 'local', constraint stores
suspend
  Lazy-checking versions of arithmetic primitives, and the suspend-attribute
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

Generated 2022-09-03 14:26