#constraint optimization solver