SAT-X The constraint modeling language for SAT solvers
Project description
The author of this package has not provided a project description
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
SATX-0.3.8.tar.gz
(16.0 kB
view details)
File details
Details for the file SATX-0.3.8.tar.gz.
File metadata
- Download URL: SATX-0.3.8.tar.gz
- Upload date:
- Size: 16.0 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.1 CPython/3.10.5
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | e5ec322ade0a202e3193e0686bfdeb3c9c34300ff4095c54e3aaf4a0e16af1ec |
|
| MD5 | ecb6bab76a5a79b6faa1a3379adc4114 |
|
| BLAKE2b-256 | df1539a236d322c71ddac5f9a62ff6d33b3ccb37258647ff487314d5d1839cfa |
