Searched defs:solver_new (Results 1 – 6 of 6) sorted by relevance
202 #define solver_new _glp_minisat_new macro
995 solver* solver_new(void) in solver_new() function
1634 solver_t* solver_new() { in solver_new() function
1597 solver_t* solver_new() { in solver_new() function