metaSMT 2
|
#include <ClauseWriter.hpp>
Static Public Member Functions | |
static boost::optional< bool > | execute (std::string const &dimacsFile, std::string const &log, std::string const &err) |
Definition at line 49 of file ClauseWriter.hpp.
static boost::optional< bool > metaSMT::solver::executable::MiniSAT::execute | ( | std::string const & | dimacsFile, |
std::string const & | log, | ||
std::string const & | err | ||
) | [inline, static] |
Definition at line 51 of file ClauseWriter.hpp.