search

conjure-cp / conjure

Conjure: The Automated Constraint Modelling Tool
Other
96 stars 20 forks source link

Add structural constraints as where statements for givens #540

Closed ozgurakgun closed 10 months ago

ozgurakgun commented 1 year ago

Add structural constraints as where statements for givens, so Conjure can complain about invalid instance data (ref #446)

ozgurakgun commented 10 months ago

I'll close this as won't fix (for now). Posting structural constraints for givens would mean all literals would have to satisfy them. Not our intention. We need a separate family of checkers instead. Another alternative is a normaliseLiteral function and then checking the structural constraints.