This is the long description.
2 maintainers
Release files for yices 1.1.6
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| yices-1.1.6-py3-none-any.whl | Python 3 | none | any | Details |
Release files / yices-1.1.6-py3-none-any.whl
| Download URL | yices-1.1.6-py3-none-any.whl |
|---|---|
| Size | 73.0 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
030321a6a926a7992cb380cd597f2df81f06c56644daad790c7e832d2cd4a780
|
|
BLAKE2b-256 checksum How to use checksums |
bc3844bf58aa8ce6c54672c7dffd202d781da6141cee53a0fb5dc92134762240
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/6.0.1 CPython/3.10.13
|
