[ Reference Manual | Alphabetic Index ]

# Techniques

chr
  Constraint Handling Rules Library - obsolescent, use library(ech) instead
concurrency
  Engine utilities and higher-level threading functionality
ech
  Extended constraint handling rules library
ic_make_overlap_bivs
  Probe Search
ic_probe
  Probing
ic_probe_search
  Probe Search
ic_probe_support
  Probe Support Library
ic_probing_for_scheduling
  Probing for Scheduling
ldsb
  Lightweight dynamic symmetry breaking for finite domains.
make_overlap_bivs
  Probe Search
notify_ports
  One-to-many and many-to-many notification ports
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
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