Skip to content
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

ILP solver #263

Open
rolph-recto opened this issue Nov 1, 2021 · 0 comments · May be fixed by #321
Open

ILP solver #263

rolph-recto opened this issue Nov 1, 2021 · 0 comments · May be fixed by #321
Assignees
@rolph-recto
Labels
enhancement New feature or request

Comments

@rolph-recto
Copy link
Collaborator

Allow protocol selection to use an ILP solver (Gurobi) instead of Z3. We've been having a lot of weird performance issues with Z3 (e.g. 2x slowdown by bumping a minor version, slow on small test files), so hopefully switching solvers will make the compiler be more scalable.
@rolph-recto rolph-recto added the enhancement New feature or request label Nov 1, 2021
@rolph-recto rolph-recto self-assigned this Nov 1, 2021
@cacay cacay linked a pull request Jul 6, 2022 that will close this issue
Open
@cacay cacay linked a pull request Jul 6, 2022 that will close this issue
Gurobi ILP solver for protocol selection #321
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@rolph-recto rolph-recto

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Gurobi ILP solver for protocol selection apl-cornell/viaduct
1 participant
@rolph-recto