Searched defs:index (Results 1 - 1 of 1) sorted by relevance

/pkg/src/modules/solver/
H A Dpy_solver.c353 int index; local
355 if (!PyArg_ParseTuple(args, "i", &index))
358 self->msat_instance->verbosity = index;
366 int index; local
368 if (!PyArg_ParseTuple(args, "i", &index))
370 solver_setnvars(self->msat_instance, index);

Completed in 328 milliseconds