owl
A Java library for Omega-words, ω-automata and Linear Temporal Logic (LTL). Batteries included.
-
Salomon Sickert authoredUpdate emptiness check and SCC decomposition See merge request i7/owl!321
8e198597
| Name |
Last commit
|
Last update |
|---|---|---|
| config | ||
| data | ||
| doc | ||
| gradle | ||
| lib | ||
| scripts | ||
| src | ||
| .editorconfig | ||
| .gitignore | ||
| .gitlab-ci.yml | ||
| AUTHORS | ||
| CHANGELOG.md | ||
| CONTRIBUTING.md | ||
| LICENSE | ||
| README.md | ||
| build.gradle | ||
| gradlew | ||
| gradlew.bat | ||
| plugins.gradle |