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