cprover
|
Solver Factory. More...
#include <solvers/flattening/boolbv.h>
#include <solvers/smt2/smt2_dec.h>
#include <fstream>
#include <memory>
Go to the source code of this file.
Classes | |
class | solver_factoryt |
class | solver_factoryt::solvert |
Macros | |
#define | OPT_SOLVER |
#define | HELP_SOLVER |
Functions | |
void | parse_solver_options (const cmdlinet &cmdline, optionst &options) |
Parse solver-related command-line parameters in cmdline and set corresponding values in options . | |
Solver Factory.
Definition in file solver_factory.h.
#define HELP_SOLVER |
Definition at line 120 of file solver_factory.h.
#define OPT_SOLVER |
Definition at line 98 of file solver_factory.h.
Parse solver-related command-line parameters in cmdline
and set corresponding values in options
.
Definition at line 690 of file solver_factory.cpp.