4 Jan
2022
4 Jan
'22
1:50 p.m.
Ayrat Khalimov <ayrat.khalimov(a)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.