The PEQNP System its a automatic CNF encoder and SAT Solver for General Constrained Diophantine …
https://github.com/maxtuno/PEQNP
latest