#SAT Solver

Introducing AFSAT: A New GPU-Accelerated Solver for Pseudo-Boolean SAT Problems

AFSAT is a newly developed GPU-accelerated solver designed to enhance the efficiency of solving pseudo-Boolean satisfiability problems through continuous local search techniques.