HomePhabricator

Solver class exceptions and logs added