Owl

Description

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

Drawing of an owl.

The project was moved to the new domain owl.model.in.tum.de.

Owl drawing by nine17com.