owl
A Java library for Omega-words, ω-automata and Linear Temporal Logic (LTL). Batteries included.
Archived project! Repository and other project resources are read-only
21.03.2024 We will run the GitLab container registry garbage collection process to clean up old unreferenced images starting on Thursday 21.3. at 16:00. The process will take several hours, possibly until Friday morning. During the clean up the container registry will be read-only, otherwise the service can be used normally.
A Java library for Omega-words, ω-automata and Linear Temporal Logic (LTL). Batteries included.
Archived project! Repository and other project resources are read-only