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

Faster intersection for all #40

Closed gaperez64 closed 9 months ago

gaperez64 commented 1 year ago

Shrisha and I discussed some improvements to the algorithm that should speed things up. Additionally, the same trick as for union should avoid doing double domination checks in the case of vector_backed