diff options
| author | Liana Hadarean <lianahady@gmail.com> | 2016-05-24 22:30:41 -0700 |
|---|---|---|
| committer | Liana Hadarean <lianahady@gmail.com> | 2016-05-24 22:30:48 -0700 |
| commit | 2591fc4f57030b31c2c49d5c2dae9e96d3ce3afa (patch) | |
| tree | 0296cb4f8194aef27813ef5251e88f475c9a6ffb /src/options/bv_bitblast_mode.cpp | |
| parent | beaf8b212dfadb47328942c23a7649ab44a014cb (diff) | |
Merged cryptominisat from experimental branch.
Diffstat (limited to 'src/options/bv_bitblast_mode.cpp')
| -rw-r--r-- | src/options/bv_bitblast_mode.cpp | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/options/bv_bitblast_mode.cpp b/src/options/bv_bitblast_mode.cpp index 9cf47fe33..f331345f7 100644 --- a/src/options/bv_bitblast_mode.cpp +++ b/src/options/bv_bitblast_mode.cpp @@ -53,4 +53,19 @@ std::ostream& operator<<(std::ostream& out, theory::bv::BvSlicerMode mode) { return out; } +std::ostream& operator<<(std::ostream& out, theory::bv::SatSolverMode solver) { + switch(solver) { + case theory::bv::SAT_SOLVER_MINISAT: + out << "SAT_SOLVER_MINISAT"; + break; + case theory::bv::SAT_SOLVER_CRYPTOMINISAT: + out << "SAT_SOLVER_CRYPTOMINISAT"; + break; + default: + out << "SatSolverMode:UNKNOWN![" << unsigned(solver) << "]"; + } + + return out; +} + }/* CVC4 namespace */ |