cprover
solver_factory.cpp File Reference

Solver Factory. More...

+ Include dependency graph for solver_factory.cpp:

Go to the source code of this file.

Functions

template<typename SatcheckT >
static std::unique_ptr< SatcheckT > make_satcheck_prop (message_handlert &message_handler, const optionst &options)
 

Detailed Description

Solver Factory.

Definition in file solver_factory.cpp.

Function Documentation

◆ make_satcheck_prop()

template<typename SatcheckT >
static std::unique_ptr<SatcheckT> make_satcheck_prop ( message_handlert message_handler,
const optionst options 
)
static

Definition at line 181 of file solver_factory.cpp.