Glucose.cpp File Reference

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

Include dependency graph for Glucose.cpp:

Go to the source code of this file.

Classes
struct	reduceDB_lt

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

Variable Documentation

opt_certified_

BoolOption opt_certified_(_certified, "certified", "Certified UNSAT using DRUP format", false)	(	_certified	,
		"certified"	,
		"Certified UNSAT using DRUP format"	,
		false	)

opt_certified_file_

StringOption opt_certified_file_(_certified, "certified-output", "Certified UNSAT output file", "NULL")	(	_certified	,
		"certified-output"	,
		"Certified UNSAT output file"	,
		"NULL"	)