Module ac3 

AC-3 worklist propagation using the adjacency graph.

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

Structs

BitsetWorklist

A simple bitset worklist — O(1) insert/membership, O(words) scan for next.

Functions

ac3_full

Run AC-3 propagation over all constraints.