I cant think of any serious constraint solvers without some sort of optimization support, are there any?