strix

KO | EN

gitlite — search

#javascript #python #hacktoberfest #go #linux #docker #nodejs #macos #java #cli #vue #security #ios #open-source

(★ 27)

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

strix 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Strix

[![CI](https://github.com/meyerphi/strix/actions/workflows/ci.yml/badge.svg?branch=master)](https://github.com/meyerphi/strix/actions/workflows/ci.yml?query=branch:master)
[![License: AGPL v3](https://img.shields.io/badge/License-AGPL%20v3-blue.svg)](https://www.gnu.org/licenses/agpl-3.0)

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

To build Strix from source, see the [build instructions](doc/BUILDING.md).
For details on how to use Strix, see the [usage instructions](doc/USAGE.md).
The supported input and output formats are given in the [formats description](doc/FORMATS.md).

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

Older releases of Strix can be found on the [old homepage](https://strix.model.in.tum.de/).
The previous source code can be found on the [old GitLab repository](https://gitlab.lrz.de/i7/strix/).

strix

strix 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

strix

strix 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README