search

gaperez64 / acacia-bonsai

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
GNU General Public License v3.0
4 stars 3 forks source link

Early exit #11

Closed gaperez64 closed 2 years ago

gaperez64 commented 3 years ago

@michaelcadilhac just as a reminder that we need to implement this to try it out on unrealizable benchmarks.