Skip to main content

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.

Project description

The author of this package has not provided a project description

Project details


Release history Release notifications | RSS feed

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

PEQNP-0.2.5.tar.gz (59.6 kB view details)

Uploaded Source

File details

Details for the file PEQNP-0.2.5.tar.gz.

File metadata

  • Download URL: PEQNP-0.2.5.tar.gz
  • Upload date:
  • Size: 59.6 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.1.1 pkginfo/1.5.0.1 requests/2.22.0 setuptools/40.8.0 requests-toolbelt/0.9.1 tqdm/4.41.1 CPython/3.7.3

File hashes

Hashes for PEQNP-0.2.5.tar.gz
Algorithm Hash digest
SHA256 1f8e5e0ead158f774bdb179dc7774f47b237456fa23b2f8e22b3a11edb9d3229
MD5 a5030a506c9f3574dd98fd0b5df099a8
BLAKE2b-256 e41918620ca5a04b8f876f3aadcf89b770bcb96dbe637bad9e38692883f41134

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page