Added a small solving file that builds off of constraint and parsing