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

9 months, 1 week ago passed

Maintainers

Home Page

http://www.peqnp.science

Badge

Tags

csp, integers, gaussian, sat, cnf, constrains, diophantine, fast-solver, np-complete, rationals

Short URLs

peqnp.readthedocs.io
peqnp.rtfd.io

Default Version

latest

'latest' Version

master