Searched refs:configureNewSolver (Results 1 – 4 of 4) sorted by relevance
111 SolverConf configureNewSolver(
269 SolverConf conf = configureNewSolver(vars.size()); in solve_component()396 SolverConf CompHandler::configureNewSolver( in configureNewSolver() function in CompHandler