Home
last modified time | relevance | path

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

/dports/math/vampire/vampire-4.5.1/Shell/
H A DStatistics.hpp354 SAT_SATISFIABLE, enumerator
H A DStatistics.cpp226 case Statistics::SAT_SATISFIABLE: in print()
H A DUIHelper.cpp500 case Statistics::SAT_SATISFIABLE: in outputResult()
/dports/math/vampire/vampire-4.5.1/
H A Dvampire.cpp585 env.statistics->terminationReason = Statistics::SAT_SATISFIABLE; in satSolverMode()
600 || env.statistics->terminationReason == Statistics::SAT_SATISFIABLE) { in satSolverMode()
/dports/math/vampire/vampire-4.5.1/InstGen/
H A DIGAlgorithm.cpp652 case Statistics::SAT_SATISFIABLE: in doResolutionStep()