start implementing main solver for inverse opt