Overview
--------
This is a simple boolean calculator. It reads a boolean formula and checks
whether it is valid. In case '-s' is specified satisfiability is checked
instead of validity (tautology).
Installing
----------
Use pip! You can install the limboole binary by issuing:
pip install limboole
The project is online at the project below, hosting versions for all
major distributions and a source distribution:
https://pypi.org/org/SAI/limboole
Language
--------
The input format has the following syntax in BNF:
( [ ... ] means optional, { ... } means repeated arbitrary many times)
expr ::= iff
iff ::= implies { '<->' implies }
implies ::= or [ '->' or | '<-' or ]
or ::= and { '|' and }
and ::= not { '&' not }
not ::= basic | '!' not
basic ::= var | '(' expr ')'
and 'var' is a string over letters, digits and the following characters:
- _ . [ ] $ @
The last character of 'var' should be different from '-'.
Armin Biere, Johannes Kepler University,
Thu Nov 22 15:47:00 CET 2012
Metadata
Release files for limboole 1.3.2
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| limboole-1.3.2.tar.gz | 1.3 MB | Details |
Built distributions (wheels)
| File | Reset | |||
|---|---|---|---|---|
| limboole-1.3.2-py38-none-win_arm64.whl | Python 3.8 | none | Windows ARM64 | Details |
| limboole-1.3.2-py38-none-win_amd64.whl | Python 3.8 | none | Windows x86-64 | Details |
| limboole-1.3.2-py38-none-win32.whl | Python 3.8 | none | Windows x86-32 | Details |
| limboole-1.3.2-py38-none-musllinux_1_2_x86_64.whl | Python 3.8 | none | Linux musl 1.2+ x86-64 | Details |
| limboole-1.3.2-py38-none-musllinux_1_2_aarch64.whl | Python 3.8 | none | Linux musl 1.2+ ARM64 | Details |
| limboole-1.3.2-py38-none-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl | Python 3.8 | none | Linux glibc 2.28+ x86-64, Linux glibc 2.17+ x86-64 | Details |
| limboole-1.3.2-py38-none-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl | Python 3.8 | none | Linux glibc 2.17+ ARM64, Linux glibc 2.28+ ARM64 | Details |
| limboole-1.3.2-py38-none-macosx_11_0_arm64.whl | Python 3.8 | none | macOS 11.0+ ARM64 | Details |
Total release size: 2.8 MB
Release files / limboole-1.3.2.tar.gz
| Download URL | limboole-1.3.2.tar.gz |
|---|---|
| Size | 1.3 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
572db4645341561b196accf4140dbd9ffa7c83ca390b119126029191e564f72b
|
|
BLAKE2b-256 checksum How to use checksums |
602e636e4cd94f030608636ea814eaf13b904cdd7434f8b9372df1fe84f39376
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.7
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Dec 11, 2025.
Transparency logRelease files / limboole-1.3.2-py38-none-win_arm64.whl
| Download URL | limboole-1.3.2-py38-none-win_arm64.whl |
|---|---|
| Size | 158.4 kB |
| Tags | Python 3.8 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
2a266b90c417e7bae37447bf9c6dc991a9f29ff070775218de1aba85c6079ceb
|
|
BLAKE2b-256 checksum How to use checksums |
229f20a67d169e3bac2f696781843a5685b8e8db730aaff02f8cdb305e5b3dac
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.7
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Dec 11, 2025.
Transparency logRelease files / limboole-1.3.2-py38-none-win_amd64.whl
| Download URL | limboole-1.3.2-py38-none-win_amd64.whl |
|---|---|
| Size | 172.9 kB |
| Tags | Python 3.8 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
0d43501ea892e074a2ff4fe6c03f28c5bb47fb7f4ff955fc8ae1cd6b89da4eed
|
|
BLAKE2b-256 checksum How to use checksums |
a5ec9ea648bf8c2f1ba37dcc65832b2f96c0a5b855575492ca222bd39de5c8cf
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.7
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Dec 11, 2025.
Transparency logRelease files / limboole-1.3.2-py38-none-win32.whl
| Download URL | limboole-1.3.2-py38-none-win32.whl |
|---|---|
| Size | 143.4 kB |
| Tags | Python 3.8 Windows x86-32 |
|
SHA-256 checksum How to use checksums |
ae6c7c7133b02e5c5f0577a309755c99af24915819f948e08fcfa4126346f8a7
|
|
BLAKE2b-256 checksum How to use checksums |
e8db5479f66d1c4657e165919467015002763e360fcd4401339e697cdf22534c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.7
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Dec 11, 2025.
Transparency logRelease files / limboole-1.3.2-py38-none-musllinux_1_2_x86_64.whl
| Download URL | limboole-1.3.2-py38-none-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 209.6 kB |
| Tags | Linux musl 1.2+ x86-64 Python 3.8 |
|
SHA-256 checksum How to use checksums |
262973d2130bca0848b62426b874049cc9aedfe875847c31c409c14e0ca8a5cf
|
|
BLAKE2b-256 checksum How to use checksums |
29df7c3086ef40590043462b5d0f7807a328f42788c57a054695427685e28191
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.7
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Dec 11, 2025.
Transparency logRelease files / limboole-1.3.2-py38-none-musllinux_1_2_aarch64.whl
| Download URL | limboole-1.3.2-py38-none-musllinux_1_2_aarch64.whl |
|---|---|
| Size | 204.3 kB |
| Tags | Linux musl 1.2+ ARM64 Python 3.8 |
|
SHA-256 checksum How to use checksums |
7fa90081bf54a7ee106fcf97933549a8addff5fea5e088bdbf2337ad3874e827
|
|
BLAKE2b-256 checksum How to use checksums |
0d68c06d9c4a5506e32113ba4a7f396283ca283c8ca8c364db1eb3493074342a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.7
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Dec 11, 2025.
Transparency logRelease files / limboole-1.3.2-py38-none-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl
| Download URL | limboole-1.3.2-py38-none-manylinux2014_x86_64.manylinux_2_17_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 207.7 kB |
| Tags | Linux glibc 2.17+ x86-64 Linux glibc 2.28+ x86-64 Python 3.8 |
|
SHA-256 checksum How to use checksums |
11ac32d99e45f9eb9ad9478b5b9da003189e5cc1a42ded3572e505cbba82052b
|
|
BLAKE2b-256 checksum How to use checksums |
79832b9e41456171d035656b7921c668d41827e7596fca2633e72246aef99eae
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.7
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Dec 11, 2025.
Transparency logRelease files / limboole-1.3.2-py38-none-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl
| Download URL | limboole-1.3.2-py38-none-manylinux2014_aarch64.manylinux_2_17_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 205.1 kB |
| Tags | Linux glibc 2.17+ ARM64 Linux glibc 2.28+ ARM64 Python 3.8 |
|
SHA-256 checksum How to use checksums |
acd368acf008cf076fe8ca32d9976239cf1fc0ebff8728bf7d7b55b257c66047
|
|
BLAKE2b-256 checksum How to use checksums |
352d8c512cb676bf2c15d8b06883de478cfc175838f07a89dd63ebe5a93befa9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.7
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Dec 11, 2025.
Transparency logRelease files / limboole-1.3.2-py38-none-macosx_11_0_arm64.whl
| Download URL | limboole-1.3.2-py38-none-macosx_11_0_arm64.whl |
|---|---|
| Size | 182.0 kB |
| Tags | Python 3.8 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
7ea74c40c25da6e4e888bc7b7251bfbee6749d822a9767b13bf7923903dee8e8
|
|
BLAKE2b-256 checksum How to use checksums |
daea99d0fd265d0b1d598bf664d24d55709e89cc07d4d8b0e19607f2ac465665
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.7
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Dec 11, 2025.
Transparency log
