cprover
|
Allows call an external SAT solver to allow faster integration of newer SAT solvers. More...
#include "external_sat.h"
#include "dimacs_cnf.h"
#include <util/exception_utils.h>
#include <util/run.h>
#include <util/string_utils.h>
#include <util/tempfile.h>
#include <chrono>
#include <cstdlib>
#include <fstream>
#include <random>
#include <sstream>
#include <string>
#include <thread>
Go to the source code of this file.
Allows call an external SAT solver to allow faster integration of newer SAT solvers.
Definition in file external_sat.cpp.