4 Jan
2022
4 Jan
'22
1:50 p.m.
Ayrat Khalimov <ayrat.khalimov@gmail.com> writes:
Wonderful! Confirm it works.
A small correction: in your jupyter notebook you set outputs "x,y" whereas originally they were inputs. So instead I used a new variable "z":
Ah, sorry. In the spec file that you used, I saw: AP: 5 "a" "b" "x" "c" "y" controllable-AP: 4 2 which means that x and y are intended to be output, so I tried to follow that. I did not realize that you had specified the opposite on the command line. Incidentally, I was working yesterday on getting Spot's HOA parser and printer to support this controllable-AP header (and map it to Spot's synthesis-outputs property). That will be for Spot 2.11.