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