Bounded synthesis via safety games and BDDs
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
5nizza opened this issue 9 months ago · comments
It only uses the first value of k. Now it is fixed and changed the semantics of -k 4 -k 8: this now means to try two values of k: 4 and 8.
k
-k 4 -k 8