kissatSolver.h

Go to the documentation of this file.

 
#ifndef ABC_SAT_KISSAT_SOLVER_H_
#define ABC_SAT_KISSAT_SOLVER_H_

 
#include "aig/gia/gia.h"
#include "sat/cnf/cnf.h"

 
ABC_NAMESPACE_HEADER_START

 
typedef struct kissat_solver_ kissat_solver;
struct kissat_solver_
{
  void* p;
  int nVars;
};
 


 
extern kissat_solver*  kissat_solver_new(void);
extern void            kissat_solver_delete(kissat_solver* s);
extern int             kissat_solver_addclause(kissat_solver* s, int* begin, int* end);
extern int             kissat_solver_solve(kissat_solver* s, int* begin, int* end, ABC_INT64_T nConfLimit, ABC_INT64_T nInsLimit, ABC_INT64_T nConfLimitGlobal, ABC_INT64_T nInsLimitGlobal);
extern int             kissat_solver_nvars(kissat_solver* s);
extern int             kissat_solver_addvar(kissat_solver* s);
extern void            kissat_solver_setnvars(kissat_solver* s,int n);
extern int             kissat_solver_get_var_value(kissat_solver* s, int v);
extern Vec_Int_t *     kissat_solve_cnf( Cnf_Dat_t * pCnf, char * pArgs, int nConfs, int nTimeLimit, int fSat, int fUnsat, int fPrintCex, int fVerbose );
 
ABC_NAMESPACE_HEADER_END
 
#endif