Eventually there will be only one `solve_constraints`. This is just for testing.