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

/pkg/src/modules/solver/
H A Dpy_solver.c180 #define RETURN_NEEDS_RESET BAILOUT(PyExc_RuntimeError, "msat_solver failed; reset needed")
182 #define RETURN_NOT_SOLVER BAILOUT(PyExc_TypeError, "msat_solver expected")
197 } msat_solver; typedef in typeref:struct:__anon4
200 static void msat_dealloc(msat_solver *self);
202 static int msat_init(msat_solver * self, PyObject *args, PyObject *kwds);
213 "solver.msat_solver", /*tp_name*/
214 sizeof (msat_solver), /*tp_basicsize*/
232 "msat_solver object", /*tp_doc*/
254 msat_dealloc(msat_solver *self)
269 msat_solver *sel
[all...]

Completed in 10 milliseconds