xsat.h

Go to the documentation of this file.

#ifndef ABC__sat__xSAT__xSAT_h
#define ABC__sat__xSAT__xSAT_h

#include "misc/util/abc_global.h"
#include "misc/vec/vecInt.h"
 
ABC_NAMESPACE_HEADER_START

struct xSAT_Solver_t_;
typedef struct xSAT_Solver_t_ xSAT_Solver_t;

/*=== xsatCnfReader.c ================================================*/
extern int xSAT_SolverParseDimacs( FILE *, xSAT_Solver_t ** );
 
/*=== xsatSolverAPI.c ================================================*/
extern xSAT_Solver_t * xSAT_SolverCreate();
extern void xSAT_SolverDestroy( xSAT_Solver_t * );
 
extern int xSAT_SolverAddClause( xSAT_Solver_t *, Vec_Int_t * );
extern int xSAT_SolverSimplify( xSAT_Solver_t * );
extern int xSAT_SolverSolve( xSAT_Solver_t * );
 
extern void xSAT_SolverPrintStats( xSAT_Solver_t * );
 
ABC_NAMESPACE_HEADER_END
 
#endif