satcheck.h File Reference

#include "satcheck_minisat2.h"

Include dependency graph for satcheck.h:

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

Go to the source code of this file.

Macros
#define	SATCHECK_MINISAT2

Typedefs
typedef satcheck_minisat_simplifiert	satcheckt
typedef satcheck_minisat_no_simplifiert	satcheck_no_simplifiert

Macro Definition Documentation

SATCHECK_MINISAT2

#define SATCHECK_MINISAT2

Definition at line 17 of file satcheck.h.

Typedef Documentation

satcheck_no_simplifiert

typedef satcheck_minisat_no_simplifiert satcheck_no_simplifiert

Definition at line 50 of file satcheck.h.

satcheckt

typedef satcheck_minisat_simplifiert satcheckt

Definition at line 49 of file satcheck.h.