There are two moderately difficult algorithms in the paper, but they do not implement all the steps of the synthesis pipeline.
If you want to contribute with another review, please follow these instructions.
Please consider to cut/paste/edit the raw JSON data attached to this paper.