blob: 51e726f4b316293d6ac9e94f5715c33a3e8c54e2 (
plain)
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;
}
|