A simple, direct tautology checker built on SymPy.
Project description
khusi
A simple Python library to check if a logical expression is a tautology.
Installation
pip install khusi
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
khusi-0.1.0.tar.gz
(1.6 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
khusi-0.1.0-py3-none-any.whl
(1.8 kB
view details)
File details
Details for the file khusi-0.1.0.tar.gz.
File metadata
- Download URL: khusi-0.1.0.tar.gz
- Upload date:
- Size: 1.6 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.12.0
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
7494639fbf4e20b74e799d3289346f66ffc8aa6e5b0aedb9c7c4cd63b553172e
|
|
| MD5 |
d0d40552871f37b708d36b1255516935
|
|
| BLAKE2b-256 |
326ede0f6ee96e31e4e3025629ab030825d5cd1b14a4bb48810925e956bcf3b9
|
File details
Details for the file khusi-0.1.0-py3-none-any.whl.
File metadata
- Download URL: khusi-0.1.0-py3-none-any.whl
- Upload date:
- Size: 1.8 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.12.0
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
f7183cd2462b5a94292b9215ce4f6271b1e5f51ba4b8dc65dd322ce9420a20df
|
|
| MD5 |
e84910b116bb571f62140901920634b7
|
|
| BLAKE2b-256 |
f82fa61c1681ca08a796ba0cd6cf02235288bbed9996b69cc4dcc95fe4a696dd
|
