Minor bug fixes in evaluate and not importing Base. Should be able to use Gurobi as a solver now