A Circuit SAT Assembler 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.0.tar.gz
(8.4 kB
view details)
File details
Details for the file CircuitSAT-0.0.0.tar.gz.
File metadata
- Download URL: CircuitSAT-0.0.0.tar.gz
- Upload date:
- Size: 8.4 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.1 CPython/3.10.5
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 4061ce8e45c2dcbb815f9d57caa807c273a21e7c443f6d89ec4b44d5b3164276 |
|
| MD5 | 92c8576f270cd34827b56148f545c4f0 |
|
| BLAKE2b-256 | c209dae8afcb14720306b0f58c8e8d03b77f08d578174ac5a02b49221778b7c9 |
