A tool collection and library for Omega-words, ω-automata and Linear Temporal Logic (LTL). Batteries included.
Functionality (e.g., translations, simplifiers) is available through command-line tools and a Java and C-API. Details on how to use Owl are given in the usage instructions. For further information see the official website.
The distribution contains the following:
bin
- Startup scripts for the contained tools, which are described in usage instructions. owl-native
is a pre-compiled version of owl
for linux-amd64 with faster startup time compared to owl
. All other tools require an installed Java runtime environment capable of running Java 11.clib
- Owl pre-compiled for linux-amd64 as a C library.doc
- Additional documentation.jars
- Owl packaged as a Java library.lib
- Libraries used by Owl.