AbcGlucoseCmd2.cpp File Reference

#include "aig/gia/gia.h"
#include "base/main/mainInt.h"
#include "sat/glucose2/AbcGlucose2.h"

Include dependency graph for AbcGlucoseCmd2.cpp:

Go to the source code of this file.

Functions
ABC_NAMESPACE_HEADER_START void	Glucose2_Init (Abc_Frame_t *pAbc)
	FUNCTION DEFINITIONS ///.
void	Glucose2_End (Abc_Frame_t *pAbc)

Function Documentation

Glucose2_End()

void Glucose2_End ( Abc_Frame_t * pAbc )

extern

Definition at line 63 of file AbcGlucoseCmd2.cpp.

{
}

Glucose2_Init()

ABC_NAMESPACE_HEADER_START void Glucose2_Init ( Abc_Frame_t * pAbc )

extern

FUNCTION DEFINITIONS ///.

CFile****************************************************************

FileName [AbcGlucoseCmd.cpp]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [SAT solver Glucose 3.0 by Gilles Audemard and Laurent Simon.]

Synopsis [Interface to Glucose.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - September 6, 2017.]

Revision [

Id

AbcGlucoseCmd.cpp,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 58 of file AbcGlucoseCmd2.cpp.

{
    Cmd_CommandAdd( pAbc, "ABC9", "&glucose2",  Abc_CommandGlucose,  0 );
}

Here is the call graph for this function:

Here is the caller graph for this function: