ezminisat.h File Reference

#include "ezsat.h"
#include <time.h>

Include dependency graph for ezminisat.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	ezMiniSAT

Namespaces
	Minisat

Macros
#define	EZMINISAT_SIMPSOLVER   1
#define	EZMINISAT_VERBOSITY   0
#define	EZMINISAT_INCREMENTAL   1

Macro Definition Documentation

#define EZMINISAT_INCREMENTAL   1

Definition at line 25 of file ezminisat.h.

#define EZMINISAT_SIMPSOLVER   1

Definition at line 23 of file ezminisat.h.

#define EZMINISAT_VERBOSITY   0

Definition at line 24 of file ezminisat.h.