THEORY_TAUTOLOGY_SAT_CONFLICT (reference) in projects: dports

Searched refs:THEORY_TAUTOLOGY_SAT_CONFLICT (Results 1 – 3 of 3) sorted by relevance

/dports/math/vampire/vampire-4.5.1/SAT/
H A D	SAT2FO.hpp	`54 …ctClause(LiteralStack& unsatCore, InferenceRule rule=InferenceRule::THEORY_TAUTOLOGY_SAT_CONFLICT);`
/dports/math/vampire/vampire-4.5.1/Kernel/
H A D	Inference.hpp	`364 THEORY_TAUTOLOGY_SAT_CONFLICT, enumerator`
H A D	Inference.cpp	`746 case InferenceRule::THEORY_TAUTOLOGY_SAT_CONFLICT: in ruleName()`