A library for first-order term-rewriting
Project description
termination
: A library for first-order term-rewriting
TODO: Write this README
Project details
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
termination-0.0.2.tar.gz
(1.1 kB
view details)
Built Distribution
File details
Details for the file termination-0.0.2.tar.gz
.
File metadata
- Download URL: termination-0.0.2.tar.gz
- Upload date:
- Size: 1.1 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.11.0 pkginfo/1.4.2 requests/2.19.1 setuptools/40.0.0 requests-toolbelt/0.8.0 tqdm/4.24.0 CPython/3.7.0
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0732bd6d83f82eb3a2965dd51d2271b7214be7bf0620d21cb586da43e65b124b |
|
MD5 | a78555c378aab19c6d6ef3176b63e748 |
|
BLAKE2b-256 | b6d1f37cc501b6cefa6a19faf288cee9506394e21519b4bc0aae8fc054e7fb02 |
File details
Details for the file termination-0.0.2-py3-none-any.whl
.
File metadata
- Download URL: termination-0.0.2-py3-none-any.whl
- Upload date:
- Size: 1.4 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.11.0 pkginfo/1.4.2 requests/2.19.1 setuptools/40.0.0 requests-toolbelt/0.8.0 tqdm/4.24.0 CPython/3.7.0
File hashes
Algorithm | Hash digest | |
---|---|---|
SHA256 | 24309a25bd6a839ef06fafb0795dfa2418953b081ce10c9b7dd20e6c0b797f75 |
|
MD5 | b54244d2eb8b13dccb189f800ea6d91f |
|
BLAKE2b-256 | a0a29bedf5f6a27ce720346645bc21a8cc518005719a4f4023aa4738cc4ef535 |