8.5 Configuration Requirements for Logic Solver Interfaces