pub const BtorSolverResult_BTOR_RESULT_UNKNOWN: BtorSolverResult = 0;