owl

owl

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

Project ID: 4854
Name
Last commit
Last update
config Loading commit data...
data Loading commit data...
doc Loading commit data...
gradle Loading commit data...
lib Loading commit data...
scripts Loading commit data...
src Loading commit data...
.editorconfig Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
AUTHORS Loading commit data...
CHANGELOG.md Loading commit data...
CONTRIBUTING.md Loading commit data...
LICENSE Loading commit data...
README.md Loading commit data...
build.gradle Loading commit data...
gradlew Loading commit data...
gradlew.bat Loading commit data...
plugins.gradle Loading commit data...