GPAP GPU-Parallel (partial) Assignment Propagation Boolean constraint propagation on the GPU: thousands of independent partial assignments, each propagated to its own fixpoint in a single kernel launch. A foundation for SAT on the GPU, and an open-source library to build on.
