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

Shrishas kdtrees #44

Closed gaperez64 closed 8 months ago

gaperez64 commented 8 months ago

This resolves #42 in full (tests work, but it should be tested/benchmarked on the syntcomp application now).