Home
last modified time | relevance | path

Searched refs:yices_bvdiv (Results 1 – 5 of 5) sorted by relevance

/dports/math/py-pysmt/pysmt-0.9.0/pysmt/solvers/
H A Dyices.py539 res = yicespy.yices_bvdiv(args[0], args[1])
/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_api3.c750 { "bvdiv", yices_bvdiv },
H A Dtest_intern_table.c818 return yices_bvdiv(a, b); in random_bvdiv()
/dports/math/yices/yices-2.6.2/src/include/
H A Dyices.h1546 __YICES_DLLSPEC__ extern term_t yices_bvdiv(term_t t1, term_t t2); // unsigned div
/dports/math/yices/yices-2.6.2/src/api/
H A Dyices_api.c5896 EXPORTED term_t yices_bvdiv(term_t t1, term_t t2) { in yices_bvdiv() function