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/options/bv_bitblast_mode.h | |
parent | 62f58d62c6c597eeb9cae5e08d74f21c4a5c5c40 (diff) |
Add support for CaDiCaL as eager BV SAT solver. (#1675)
Diffstat (limited to 'src/options/bv_bitblast_mode.h')
-rw-r--r-- | src/options/bv_bitblast_mode.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/options/bv_bitblast_mode.h b/src/options/bv_bitblast_mode.h index 5bc5f601f..79f859cd4 100644 --- a/src/options/bv_bitblast_mode.h +++ b/src/options/bv_bitblast_mode.h @@ -61,11 +61,12 @@ enum BvSlicerMode { };/* enum BvSlicerMode */ /** Enumeration of sat solvers that can be used. */ -enum SatSolverMode { +enum SatSolverMode +{ SAT_SOLVER_MINISAT, SAT_SOLVER_CRYPTOMINISAT, -};/* enum SatSolver */ - + SAT_SOLVER_CADICAL, +}; /* enum SatSolver */ }/* CVC4::theory::bv namespace */ }/* CVC4::theory namespace */ |