AbcApi.cpp File Reference

#include "Solver.h"
#include "sat/cnf/cnf.h"

Include dependency graph for AbcApi.cpp:

Go to the source code of this file.

Functions
int	Abc_CallMiniSat22 (Cnf_Dat_t *p)
	DECLARATIONS ///.

Function Documentation

Abc_CallMiniSat22()

int Abc_CallMiniSat22

(

Cnf_Dat_t *

p

)

DECLARATIONS ///.

FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 46 of file AbcApi.cpp.

{
    Solver S;
    int Result = -1;
    return Result;
}