rba.tool.core/src/rba/tool/core/z3/Z3Constants.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

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;
}