# Owl

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.

## Content

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.