Skip to content

Add `set_solver` support for `dom`

Robbert Krebbers requested to merge robbert/set_unfold_dom into master

This MR closes issue #53 (closed).

@Armael can you review/check if this sufficient for what you had in mind?

Edited by Robbert Krebbers

Merge request reports