Telingo is a solver for temporal programs. It leaverages clingo's input language and scripting cababilities to parse and solve programs with temporal formulas. As such the input of telingo is valid clingo input supporting all clingo language features like for example aggregates; only the way programs are grounded and solved is adjusted.
1 maintainer
Metadata
1 maintainer
Release files for telingo 2.1.3
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| telingo-2.1.3.tar.gz | 28.8 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| telingo-2.1.3-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 61.0 kB
Release files / telingo-2.1.3.tar.gz
| Download URL | telingo-2.1.3.tar.gz |
|---|---|
| Size | 28.8 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
017de3172fd408bfe91a9c0cf786cdd6daa1992d24d80f0572dbb165434593a7
|
|
BLAKE2b-256 checksum How to use checksums |
f2772727613566e7bf031150d18cdc529cd6e5b7fbade49642c84190694709c3
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/5.0.0 CPython/3.9.18
|
Release files / telingo-2.1.3-py3-none-any.whl
| Download URL | telingo-2.1.3-py3-none-any.whl |
|---|---|
| Size | 32.2 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
650faac43e7d1a29817e2839f27a3bfbf27ff957909f2c0553cbbf89ad091b73
|
|
BLAKE2b-256 checksum How to use checksums |
d556cd95812382b38db1337f202911dca50a5983fcec09577cbdf90bbe4d6bc6
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/5.0.0 CPython/3.9.18
|
