package rba.tool.core.z3;

public class Z3Constants {

    public static String TOTAL_RESULT = "Z3_CODE_TOTAL_RESULT";

    public static String SAT = "SAT";

    public static String UNSAT = "UNSAT";

    public static String UNKNOWN = "UNKNOWN";

    public static Integer SAT_VAL = 0;

    public static Integer UNSAT_VAL = -99;

    public static Integer UNKNOWN_VAL = -98;
}