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

/pkg/src/modules/solver/
H A Dpy_solver.c473 int limit; local
475 static char *kwlist[] = {"assume", "limit", NULL};
481 &assume, &limit))

Completed in 10 milliseconds