New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Compositional synthesis #46

Open

polgreen opened this issue Feb 6, 2018 · 1 comment

Labels

Collaborator

polgreen commented Feb 6, 2018

Can the synthesis problem be broken down into blocks? Look at Dillig’s “compositional synthesis”.

polgreen added this to the Related work milestone

polgreen added the related work label

polgreen removed this from the Related work milestone

Collaborator Author

polgreen commented Feb 8, 2018

This might be a bit similar to the "divide and conquer" approach of EUSolver?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment