search

mht208 / homebrew-formal

Homebrew formulae for formal methods
37 stars 10 forks source link

Add strix 21.0.0 #29

Closed lou1306 closed 9 months ago

lou1306 commented 9 months ago

Strix is a tool to synthesise controllers from LTL specifications.