There's also a program synthesis project called Sketch, which is much closer to the domain of what the user posted: https://people.csail.mit.edu/asolar/ https:/

There's also a program synthesis project called Sketch, which is much closer to the domain of what the user posted: https://people.csail.mit.edu/asolar/ https://people.csail.mit.edu/asolar/