madgen / temporalog

A Datalog extension to reason about time with CTL operators
14Updated 4 years ago

Related projects

Alternatives and complementary repositories for temporalog