Versions
Description
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.
Repository
https://github.com/maxtuno/PEQNP
Project Slug
peqnp
Last Built
2 years, 6 months ago passed
Maintainers
Home Page
Badge
Tags
cnf, constrains, csp, diophantine, fast-solver, gaussian, integers, np-complete, rationals, sat
Short URLs
peqnp.readthedocs.io
peqnp.rtfd.io
Default Version
latest
'latest' Version
master