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

O Accelerated Fourier SAT (AFSAT) é um resolvedor acelerado por GPU para satisfatibilidade pseudo-booleana que utiliza busca local contínua. Ele melhora substancialmente a estabilidade numérica, o desempenho e a eficiência de memória em relação ao seu protótipo, aproveitando o JAX para processamento paralelo e superando limitações de memória/ponto flutuante.