incremental inequality solver implemented