This is an archived project. Repository and other project resources are read-only.

29. April 2024: Due to updates GitLab may be unavailable for some minutes between 10:00 and 12:00.

owl Archived

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

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum

Admin message