strix
strix copied to clipboard
meyerphi
Strix is a tool for reactive synthesis of controllers from LTL specifications.
Are there any plans to add back support for KISS output? This was a breaking change for me and I am hoping to not have to rewrite my code. Or...
The filtering of old Strix has to be reimplemented. Issues to take care of: - How can the filtering be made more efficient when it is called frequently with small...
Hey, On the latest version of Strix (21.0.0), I am getting a realisable verdict on the following .tlsf file: ``` INFO { TITLE: "" DESCRIPTION: "" SEMANTICS: Mealy TARGET: Mealy...
