Glucose2.cpp File Reference

#include <math.h>
#include "sat/glucose2/Sort.h"
#include "sat/glucose2/Constants.h"
#include "sat/glucose2/System.h"
#include "sat/glucose2/Solver.h"
#include "sat/glucose2/CGlucose.h"

Include dependency graph for Glucose2.cpp:

Go to the source code of this file.

Classes
struct	reduceDB_lt

Namespaces
namespace	Gluco2

Variables
BoolOption	Gluco2::opt_certified_ (_certified, "certified", "Certified UNSAT using DRUP format", false)
StringOption	Gluco2::opt_certified_file_ (_certified, "certified-output", "Certified UNSAT output file", "NULL")