Goal: Build on top of the known/supported constraint types, and introduce logic that translates the supported constraint definitions into something that OLM's solver package can consume. The OLM solver package consumes an array of the solver.Variable type, so any implementation here would need to be able to translate those parsed definitions into a set of solver variables.