Searched refs:kwds (Results 1 - 1 of 1) sorted by relevance

/pkg/src/modules/solver/
H A Dpy_solver.c202 static int msat_init(msat_solver * self, PyObject *args, PyObject *kwds);
204 msat_new(PyTypeObject *type, PyObject *args, PyObject *kwds);
279 msat_new(PyTypeObject *type, PyObject *args, PyObject *kwds) argument
333 msat_init(msat_solver * self, PyObject *args, PyObject *kwds) argument

Completed in 9 milliseconds