Tempo-tango is a .NET interpreter for Linear Temporal Logic in F#. Tempo-tango talks about time as events in the future and extends normal propositional logic by including a time dimension.
-
Updated
Feb 20, 2021 - F#
#
time-logic
Here are 2 public repositories matching this topic...
A very simple implementation of some methods for an interval-based temporal logic based on James F. Allen's work. This code can be used to implement scheduling/planning algorithms.
-
Updated
Apr 6, 2017 - Go
Improve this page
Add a description, image, and links to the time-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the time-logic topic, visit your repo's landing page and select "manage topics."