DownloadA Constraint-Based Local Search solver for the Water Retention on Magic Squares-problem.
The problem is a very hard combinatorial optimisation problem, invented by Craig Knecht. More can be read about it at:
http://en.wikipedia.org/wiki/Water_retention_on_mathematical_surfaces
Craig's website for the problem:
http://www.knechtmagicsquare.paulscomputing.com/
The solver is mainly based on the theory and ideas from my bachelor thesis, which I wrote at Uppsala University, Sweden, for the Astra Group which does research about Constraint Programming and related technologies:
Water Retention on Magic Squares with Constraint-Based Local Search
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-176018
I 'm posting two solvers in this project. One written in C++ which is the fastest, at least for the heavier objective functions, and a Dynadec Comet solver which lets you easily post new constraints along with the Magic-constraints.
Author: Johan Öfverstedt
Project Samples
