telingo

System to solve dynamic temporal logic programs.

These details have not been verified by PyPI

Project links

Homepage

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Project description

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.

Project details

These details have not been verified by PyPI

Project links

Homepage

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Release history Release notifications | RSS feed

This version

2.1.3

Feb 15, 2024

2.1.1

May 12, 2021

2.1.0

Apr 23, 2021

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

telingo-2.1.3.tar.gz (28.8 kB view hashes)

Uploaded Feb 15, 2024 Source

Built Distribution

telingo-2.1.3-py3-none-any.whl (32.2 kB view hashes)

Uploaded Feb 15, 2024 Python 3

Hashes for telingo-2.1.3.tar.gz

Hashes for telingo-2.1.3.tar.gz
Algorithm	Hash digest
SHA256	`017de3172fd408bfe91a9c0cf786cdd6daa1992d24d80f0572dbb165434593a7`
MD5	`cc7db4cf5d82963dfb032491b96c9709`
BLAKE2b-256	`f2772727613566e7bf031150d18cdc529cd6e5b7fbade49642c84190694709c3`

Hashes for telingo-2.1.3-py3-none-any.whl

Hashes for telingo-2.1.3-py3-none-any.whl
Algorithm	Hash digest
SHA256	`650faac43e7d1a29817e2839f27a3bfbf27ff957909f2c0553cbbf89ad091b73`
MD5	`e01be1a1bda0631c1460189c69c90f5c`
BLAKE2b-256	`d556cd95812382b38db1337f202911dca50a5983fcec09577cbdf90bbe4d6bc6`