Accelerated Fourier SAT (AFSAT): Fully Realising a GPU-based Symmetric Pseudo-Boolean SAT Solver

In three linesAFSAT is a GPU-accelerated solver for pseudo-Boolean satisfiability using continuous local search. Built with JAX, it leverages pure function composition, automatic vectorization, and JIT compilation for massive parallelization across candidate assignment batches. Improves numerical stability, runtime performance, and memory efficiency over the FastFourierSAT proof-of-concept.

Summary generated by Claude — human-verified