owl

owl

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