You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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.
The text was updated successfully, but these errors were encountered: