Skip to content
Snippets Groups Projects

Make sure that `naive_solver` does not create any new evars on leafs.

Merged Make sure that `naive_solver` does not create any new evars on leafs.
robbert/naive_solver_evars into master
Merged Robbert Krebbers requested to merge robbert/naive_solver_evars into master