Skip to content

Extend `set_solver` with support for `set_Forall` and `set_Exists`.

Robbert Krebbers requested to merge robbert/set_solver_Forall_Exists into master

This closes issue #178 (closed)

Merge request reports