Home
last modified time | relevance | path

Searched refs:record_ternary_theory_conflict (Results 1 – 2 of 2) sorted by relevance

/dports/math/yices/yices-2.6.2/src/solvers/cdcl/
H A Dsmt_core.h1856 extern void record_ternary_theory_conflict(smt_core_t *s, literal_t l1, literal_t l2, literal_t l3);
H A Dsmt_core.c2532 void record_ternary_theory_conflict(smt_core_t *s, literal_t l1, literal_t l2, literal_t l3) { in record_ternary_theory_conflict() function