This graph shows which files directly or indirectly include this file:

Enumerations
enum	smt_resultt { P_UNSATISFIABLE , P_SATISFIABLE , P_ERROR , P_SMTLIB }
	Result of a call to dec_solve. More...

Enumeration Type Documentation

◆ smt_resultt

Result of a call to dec_solve.

Either sat, unsat, or error. SMTLIB is a historic case used by the SMTLIB backend.