GLOPTLAB

GLOPTLAB: a configurable framework for the rigorous global solution of quadratic constraint satisfaction problems. Global Optimization Laboratory is an easy-to-use testing and development platform for solving quadratic constraint satisfaction problems, written in Matlab. All implemented methods are rigorous, hence it is guaranteed that no feasible point is lost. As the name suggests GloptLab will solve otimization problems but in the current release this feature is not yet available.