Constraint optimisation research
stuff