search

jwaldmann / star-exec-presenter

presentation platform for star-exec written in Haskell and based upon Yesod
2 stars 7 forks source link

Update UltimateBuchiAutomizer #172

Closed Heizmann closed 7 years ago

Heizmann commented 7 years ago

Uploaded whole solver anew since adding a new configuration does not seem to work.