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.