All changes together#10

Open

jossehey wants to merge 60 commits intoCPMpy:mainfrom

jossehey:all-changes-together

Commits on Apr 9, 2025

Addition of solver voting verifiers and two mutators
jossehey
committed
Added solution limit for gurobi and some minor changes for new solver implementation
jossehey
committed
Changed solver argument to take 1 or more arguments
jossehey
committed
addition and bugfixing of new mutators
jossehey
committed
fixed a bug when adding lexical ordering constraints that allowed non-variables
jossehey
committed
added printing of domains when rerunning on certain verifiers (still has to be added for the other ones)
jossehey
committed
fixed bug in expression mutator where gcc was allowing non-int variables into the last argument
jossehey
committed
Found bug regarding AllDifferentExcept0 (not fixed, added TODO)
jossehey
committed
reimplementation of eplace_at_path to fix infinite recursion bug and AllDifferentExcept0 inconsistency. Also cleaned up type(..) == ..
jossehey
committed

Commits on Apr 11, 2025

Commits on Apr 13, 2025

Commits on Apr 19, 2025

added variables (along with their bounds) to the error dictionaries
jossehey
committed

Commits on Apr 23, 2025

Commits on May 3, 2025

Commits on May 5, 2025

Commits on May 22, 2025

Commits on May 24, 2025

Removal of the exlude dict due to memory reasons for long runs (still in comments)
jossehey
committed

Commits on Oct 28, 2025

All changes together
jossehey
committed