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.1.tar.gz
(7.7 kB
view details)
File details
Details for the file CircuitSAT-0.0.1.tar.gz.
File metadata
- Download URL: CircuitSAT-0.0.1.tar.gz
- Upload date:
- Size: 7.7 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.1 CPython/3.7.9
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | fda5e8bb16eeedae65761b52c89987c903e22dee2b45e0505c1aec1151db2eda |
|
| MD5 | 30a5f3177fa20329973ea3290eeed364 |
|
| BLAKE2b-256 | a85af81a63b215419e852fde16dec17e5eb0cabb3701978019d6c558b5187be7 |
