Go to the documentation of this file.
13 #ifndef SATSOLVER_POOLTYPES_H
14 #define SATSOLVER_POOLTYPES_H
17 #define SOLV_VERSION_0 0
18 #define SOLV_VERSION_1 1
19 #define SOLV_VERSION_2 2
20 #define SOLV_VERSION_3 3
21 #define SOLV_VERSION_4 4
22 #define SOLV_VERSION_5 5
23 #define SOLV_VERSION_6 6
24 #define SOLV_VERSION_7 7
25 #define SOLV_VERSION_8 8
37 #define SOLV_CONTENT_VERSION 1
39 #define SOLV_FLAG_PREFIX_POOL 4