Strix is a tool for reactive synthesis of controllers from LTL specifications.

To build Strix from source, see the build instructions. For details on how to use Strix, see the usage instructions. The supported input and output formats are given in the formats description.

Strix is licensed under the AGPLv3, for details see LICENSE.md. It includes code from several authors with partially different licenses, for a list see AUTHORS.md.

Older releases of Strix can be found on the old homepage. The previous source code can be found on the old GitLab repository.