
AFSAT: High-Performance GPU-Accelerated Pseudo-Boolean SAT Solver
AFSAT is a fully-engineered GPU-accelerated solver for pseudo-Boolean satisfiability that leverages the JAX compiler for massively parallel continuous local search. It improves upon previous proof-of-concept models by addressing floating-point limitations and memory latency, achieving near-linear scaling across multiple accelerators.




