implemented solver of log-inequalities
Merge pull request #20 from mkotov/master

implemented solver of log-inequalities