search

pstlab / oRatio

oRatio is an Integrated Logic and Constraint based solver
Apache License 2.0
6 stars 1 forks source link

Wiki not up to date with 07a1dfe #17

Closed Raffarti closed 4 years ago

Raffarti commented 4 years ago

Hello, https://github.com/pstlab/oRatio/wiki/From-PDDL-to-timelines still refers to IntervalPredicate and ImpulsivePredicate. (07a1dfe)

EDIT: also https://github.com/pstlab/oRatio/wiki/Representing-Timelines

riccardodebenedictis commented 4 years ago

Wiki updated! thanks for spotting the issue