Core DSL architecture + demo First-Order-Logic DSL
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
symbolize-0.0.1.tar.gz
(2.3 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file symbolize-0.0.1.tar.gz.
File metadata
- Download URL: symbolize-0.0.1.tar.gz
- Upload date:
- Size: 2.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.12.1
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
a7a6efe144d350ea61fd75dfc26ed688856f728546e2a2f9d881e47e382ad984
|
|
| MD5 |
0ee492d2e316ccf0bd54f27be018d621
|
|
| BLAKE2b-256 |
a6b31705f272cca0e033944ccb561547afd37bcb004aadb76a62d089aa0f2388
|
File details
Details for the file symbolize-0.0.1-py3-none-any.whl.
File metadata
- Download URL: symbolize-0.0.1-py3-none-any.whl
- Upload date:
- Size: 1.0 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.1.0 CPython/3.12.1
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
1e52b9e9c36574481ec2695170dfc5b1e7a736dd3e153ec9483520d536107940
|
|
| MD5 |
50bb2a8b6c76efad7bda1e3c26f9a9c7
|
|
| BLAKE2b-256 |
e4555e3bbbe6f7a42b08a53b725f71c843479ab79a1f7093e65588e8ac743b57
|
