Support opens_invariants
with concrete sets
#113
This job was skipped
Loading
opens_invariants
with concrete sets
#113