[ARITH] Fix intersect of modular set - #2726

Closed

merrymercy wants to merge 2 commits into

apache:masterfrom

merrymercy:modular-set

Commits on Mar 19, 2019

Fix intersect of modular set
merrymercy
committed
e199228
add constraint check to the constructor of modular set entry
merrymercy
committed
5663e9b