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

Investigate workstation_resupply_2.tlsf #48

Open gaperez64 opened 3 months ago

gaperez64 commented 3 months ago

This is the first time I find a benchmark we cannot solve with the default settings. Perhaps the value of k is too low?