Added the ability to turn a list of conditionals into a list of constraints suitable for a constraint solver. Consolidates anything denoting a variable (except array indices) into a symbolic variable for solving. Uses the generated infomation to construct and solve a constraint problem, using Google ortools.