Skip to main content

Module ac3

csp_solver::solver

Module ac3 

Source
Expand description

AC-3 worklist propagation using the adjacency graph.

Uses a bitset worklist for lower overhead than VecDeque + Vec<bool>.