[ 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