3 Jan
2022
3 Jan
'22
12:29 p.m.
Ayrat Khalimov ayrat.khalimov@gmail.com writes:
Is there a way to feed HOA file (as a nondet Buchi) instead of a formula to ltlsynt?
Not yet. But you can do that process in Python.
