Skip to content
owl

owl

Project ID: 4854

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

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