8.4 Configuration Requirements for Logic Solvers