telingo
A solver for temporal logic programs.
A solver for temporal logic programs.
To install this package, run one of the following:
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.
Summary
A solver for temporal logic programs.
Last Updated
Feb 16, 2024 at 08:37
License
MIT
Total Downloads
3.9K
Supported Platforms
GitHub Repository
https://github.com/potassco/telingoDocumentation
https://potassco.org/