diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-03-20 16:11:15 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-20 16:11:15 -0700 |
| commit | 614670f98a9ab2d3cfcb9f364a1b06d78f63ebb0 (patch) | |
| tree | 7dbdfbbae495fed26877c51267f6775f618f5d33 /src/base/configuration_private.h | |
| parent | 62f58d62c6c597eeb9cae5e08d74f21c4a5c5c40 (diff) | |
Add support for CaDiCaL as eager BV SAT solver. (#1675)
Diffstat (limited to 'src/base/configuration_private.h')
| -rw-r--r-- | src/base/configuration_private.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/base/configuration_private.h b/src/base/configuration_private.h index eba45cc61..cf9117100 100644 --- a/src/base/configuration_private.h +++ b/src/base/configuration_private.h @@ -114,6 +114,12 @@ namespace CVC4 { # define IS_ABC_BUILD false #endif /* CVC4_USE_ABC */ +#if CVC4_USE_CADICAL +#define IS_CADICAL_BUILD true +#else /* CVC4_USE_CADICAL */ +#define IS_CADICAL_BUILD false +#endif /* CVC4_USE_CADICAL */ + #if CVC4_USE_CRYPTOMINISAT # define IS_CRYPTOMINISAT_BUILD true #else /* CVC4_USE_CRYPTOMINISAT */ |