soslib solver implemented