Skip to content

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

Robbert Krebbersrequested to merge
robbert/set_solver_Forall_Exists into master

This closes issue #178 (closed)

Merge request reports