owl

owl

A Java library for Omega-words, ω-automata and Linear Temporal Logic (LTL). Batteries included.

Archived project! Repository and other project resources are read-only