cprover
satcheck.h File Reference
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

◆ satcheckt

Definition at line 49 of file satcheck.h.