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.
- monotonic
- Monotonic propagation for lattice domains.
- optimize
- Cost-evaluation vocabulary for branch-and-bound optimization.
- propagate
- Forward checking and AC-FC hybrid propagation.
- search
- Unified monomorphized search kernel.
Type Aliases§
- Solution
- Solution type: a vector of values indexed by variable ID.