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