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)
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
Algorithm | Hash digest | |
---|---|---|
SHA256 | 71e831ac8e85a06d2428f6331226be87dbd2c7a6c8e70f47ebed471e1bdd87fa |
|
MD5 | 395faf2d90b2e032f24946a68ad5c187 |
|
BLAKE2b-256 | 3facd549145819a1d36aeaefb4926e7e2a9f6cfd93036c2c89bab4c1b3dc63f1 |