imply is non-associative

conjure-cp / conjure

Conjure: The Automated Constraint Modelling Tool

Other

94 stars 20 forks source link

Closed ozgurakgun closed 10 months ago

ozgurakgun commented 10 months ago

SR defines imply as non-associative now. We also change the definition in Conjure to match it.