telingo
A solver for temporal logic programs.
Installation
To install this package, run one of the following:
Installation commands are not available for this package.
Usage Tracking
0 / 8 versions selected
Downloads (Last 6 months): 0
About
Summary
A solver for temporal logic programs.
Last Updated
Feb 16, 2024 at 11:01
License
MIT
Total Downloads
1
GitHub Repository
https://github.com/potassco/telingoDocumentation
https://potassco.org/