search

conjure-cp / conjure

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

improve redundant model check for --portfolio #663

Open ozgurakgun opened 1 week ago

ozgurakgun commented 1 week ago

normalise quantified variable name before checking for redundancy.

ozgurakgun commented 1 week ago

carseq model 1 vs model 4 is an example of this.