Major research grant to solve practical problems Major funding will develop a 'Constraint Solver Synthesiser'. Date 8 July 2009 CategoryResearch