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.3.tar.gz (58.7 kB view details)

Uploaded Source

File details

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

File metadata

  • Download URL: PEQNP-0.2.3.tar.gz
  • Upload date:
  • Size: 58.7 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.3.tar.gz
Algorithm Hash digest
SHA256 71e831ac8e85a06d2428f6331226be87dbd2c7a6c8e70f47ebed471e1bdd87fa
MD5 395faf2d90b2e032f24946a68ad5c187
BLAKE2b-256 3facd549145819a1d36aeaefb4926e7e2a9f6cfd93036c2c89bab4c1b3dc63f1

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