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

Accelerated Fourier SAT (AFSAT) is a GPU-accelerated solver for pseudo-Boolean satisfiability using continuous local search. It significantly improves numerical stability, runtime performance, and memory efficiency over its proof-of-concept by leveraging JAX for parallel processing and addressing memory/floating-point limitations.