The PEQNP System its a automatic CNF encoder and SAT Solver for General Constrained Diophantine Equations and NP-Complete Problems, full integrated with Python 3 and 0 dependencies.
pip install PEQNP --upgrade
This problems for the version <= 2 for version >= 2 use www.peqnp.com on google colab.