This project is archived. Its data is read-only.

owl Archived

Project information

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

1,584 Commits
27 Branches
8 Tags
1 Release

README
GNU GPLv3
CHANGELOG
CONTRIBUTING

Created on

October 07, 2016

Loading

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum