implemented solver of log-inequalities