Tests to perform
Closed this issue · 0 comments
jardinetsouffleton commented
- Blocks of constraints: will going down one level always work?
- Refication:
<intension id="c1" reifiedBy ="b1"> le(x ,4) </ intension >
Closed this issue · 0 comments
<intension id="c1" reifiedBy ="b1"> le(x ,4) </ intension >