msatRead.c File Reference

#include "msatInt.h"

Include dependency graph for msatRead.c:

Go to the source code of this file.

Functions
int	Msat_SolverParseDimacs (FILE *pFile, Msat_Solver_t **p, int fVerbose)
	GLOBAL VARIABLES ///.

Function Documentation

Msat_SolverParseDimacs()

int Msat_SolverParseDimacs	(	FILE *	pFile,
		Msat_Solver_t **	p,
		int	fVerbose )

GLOBAL VARIABLES ///.

Function*************************************************************

Synopsis [Starts the solver and reads the DIMAC file.]

Description [Returns FALSE upon immediate conflict.]

SideEffects []

SeeAlso []

Definition at line 258 of file msatRead.c.

{
    char * pText;
    int  Value;
    pText = Msat_FileRead( pFile );
    Value = Msat_ReadDimacs( pText, p, fVerbose );
    ABC_FREE( pText );
    return Value;
}