A Circuit SAT Language that emit CNF code.
Project description
The author of this package has not provided a project description
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
CircuitSAT-0.0.6.tar.gz
(26.8 kB
view details)
File details
Details for the file CircuitSAT-0.0.6.tar.gz.
File metadata
- Download URL: CircuitSAT-0.0.6.tar.gz
- Upload date:
- Size: 26.8 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.1 CPython/3.7.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | d50118b6b7390f2af991b6ca9f96334a6de719c86642172eba0262ee93a7a391 |
|
| MD5 | 4a021c0ccc8cca7d0ed3b62e964cdd44 |
|
| BLAKE2b-256 | 75f9c83291dd219c9784589129a52ad8d53d212314e5d5fcbe75cc27100672c8 |
