Skip to content
GitLab

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

Merged Robbert Krebbers requested to merge robbert/naive_solver_evars into master

This fixes issue #163 (closed).