Module ac3 

AC-3 worklist propagation using the adjacency graph.

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

Functions

ac3_from_variable

Run AC-3 propagation seeded from a single variable assignment (MAC).

ac3_full

Run AC-3 propagation over all constraints.