Finding diverse solution for MiniZinc instances#87

Merged

Dekker1 merged 19 commits intoMiniZinc:developfrom ilansen:develop

Dec 13, 2024

+488-4

Commits on Aug 8, 2023

Initial commit on diversity
ilansen
committed

Commits on Aug 9, 2023

Commits on Aug 10, 2023

Simplify the assignment of previous solutions
Dekker1
committed

Commits on Aug 11, 2023

Commits on Aug 14, 2023

Commits on Aug 15, 2023

Commits on Oct 20, 2023

Add initial diversity library file
Dekker1
committed

Commits on Oct 30, 2023