Searched defs:configure_solver (Results 1 – 4 of 4) sorted by relevance
676 void SlepcSolverConfiguration::configure_solver() in configure_solver() function
98 virtual void configure_solver() in configure_solver() function
360 void anf_simplifier::configure_solver(pdd_solver& ps) { in configure_solver() function in sat::anf_simplifier