Skip to content

GitLab

Explore

Sign in

Admin message

2024-07-31: Due to updates GitLab may be unavailable for some minutes between 13:00 and 15:00.

S

Strix

Project information

Explicit Reactive Synthesis from LTL specifications

1,327 Commits
14 Branches
1 Tag

README
GNU AGPLv3

Created on

January 28, 2018

Copy SSH clone URLgit@gitlab.lrz.de:i7/strix.git
Copy HTTPS clone URLhttps://gitlab.lrz.de/i7/strix.git

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum