corail-research/learning-generic-csp

Tests to perform

Closed this issue · 0 comments

  • Blocks of constraints: will going down one level always work?
  • Refication: <intension id="c1" reifiedBy ="b1"> le(x ,4) </ intension >