Skip to content

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

Robbert Krebbers requested to merge robbert/naive_solver_evars into master

This fixes issue #163 (closed).

Merge request reports