AbcApi.cpp

Go to the documentation of this file.

 
#include "Solver.h"
#include "sat/cnf/cnf.h"
 
ABC_NAMESPACE_IMPL_START
 
using namespace Minisat;



int Abc_CallMiniSat22( Cnf_Dat_t * p )
{
    Solver S;
    int Result = -1;
    return Result;
}
 

 
 
ABC_NAMESPACE_IMPL_END