Expand description
Solver dispatch: AC-3 propagation, forward checking, backtracking search.
Modules§
- ac3
- AC-3 worklist propagation using the adjacency graph.
- backjump
- Conflict-directed backjumping with bitset conflict tracking.
- backtrack
- Chronological backtracking search.
- gac_
alldiff - GAC All-Different propagator (Régin 1994).
- gac_
alldiff_ except - GAC All-Different-Except propagator (sentinel-aware Régin 1994).
- local_
search - Min-conflicts hill-climbing local search.
- monotonic
- Monotonic propagation for lattice domains.
- nogoods
- Bounded nogood learning store with LRU eviction.
- optimize
- Branch-and-bound optimization search.
- propagate
- Forward checking and AC-FC hybrid propagation.