Perform data-based synthesis on multilevel partial specifications
#319 (closed) Seems to be coming to an end, next step is performing data synthesis on the partial specifications.
A few initial discussions:
- Input variables in the result: !696 (comment 1567631)
- Empty specifications in the result: !696 (comment 1567632)
Addresses #318