Expand description
Solver dispatch: AC-3 propagation, forward checking, and the unified monomorphized search kernel.
Modules§
- ac3
- AC-3 worklist propagation using the adjacency graph.
- gac
- Unified GAC all-different core (Régin 1994), sentinel-generic and incremental.
- heuristic
- Conflict-history weighting (CHS / ERWA) for dynamic variable ordering.
- monotonic
- Monotonic propagation for lattice domains.
- nogoods
- Bounded nogood learning store with LRU eviction.
- optimize
- Cost-evaluation vocabulary for branch-and-bound optimization.
- propagate
- Forward checking and AC-FC hybrid propagation.
- restart
- Luby restart schedule.
- search
- Unified monomorphized search kernel.
Type Aliases§
- Solution
- Solution type: a vector of values indexed by variable ID.