
owl
A Java library for Omega-words, ω-automata and Linear Temporal Logic (LTL). Batteries included.
-
Salomon Sickert authored
Resolve "JDK 11.0.2 and Gradle 5.2 Update" Closes #224 See merge request i7/owl!279
fe9200f2
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 |