time-logic

There are 2 repositories under time-logic topic.

  • maate/tempo-tango

    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.

    Language:F#4300

  • massimo-marino/interval-based-time-predicates

    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.

    Language:Go4101