external_sat.cpp File Reference

#include "external_sat.h"
#include "dimacs_cnf.h"
#include <util/run.h>
#include <util/string_utils.h>
#include <util/tempfile.h>
#include <algorithm>
#include <cstdlib>
#include <fstream>
#include <string>

Include dependency graph for external_sat.cpp:

Go to the source code of this file.

Detailed Description

Allows call an external SAT solver to allow faster integration of newer SAT solvers

Author

Francis Botero fbbot.nosp@m.ero@.nosp@m.amazo.nosp@m.n.co.nosp@m.m

Definition in file external_sat.cpp.