Searched refs:solver_use (Results 1 – 12 of 12) sorted by relevance
33 void X(solver_use)(solver *ego) in X() argument
100 X(solver_use)(s); in register_solver() local
585 void X(solver_use)(solver *ego);