Disabling logicat solvers