diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-06 17:57:44 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-06 17:57:44 -0700 |
| commit | f68bd519c69dabfe0c507810d84d3289e082947e (patch) | |
| tree | 8475dee53e0bb4cb66db9eccc9f316c304f2a6ba /src/sat/glucose/AbcGlucoseCmd.cpp | |
| parent | 8063887ffe8528bb5100b3ede7400956eefa4d53 (diff) | |
| download | abc-f68bd519c69dabfe0c507810d84d3289e082947e.tar.gz abc-f68bd519c69dabfe0c507810d84d3289e082947e.tar.bz2 abc-f68bd519c69dabfe0c507810d84d3289e082947e.zip | |
Integrating Glucose into &bmcs -g.
Diffstat (limited to 'src/sat/glucose/AbcGlucoseCmd.cpp')
| -rw-r--r-- | src/sat/glucose/AbcGlucoseCmd.cpp | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/src/sat/glucose/AbcGlucoseCmd.cpp b/src/sat/glucose/AbcGlucoseCmd.cpp index 80fdb77f..8dbe3790 100644 --- a/src/sat/glucose/AbcGlucoseCmd.cpp +++ b/src/sat/glucose/AbcGlucoseCmd.cpp @@ -72,15 +72,12 @@ void Glucose_End( Abc_Frame_t * pAbc ) ***********************************************************************/ int Abc_CommandGlucose( Abc_Frame_t * pAbc, int argc, char ** argv ) { - extern void Glucose_SolveCnf( char * pFilename, ExtSat_Pars * pPars ); - extern int Glucose_SolveAig( Gia_Man_t * p, ExtSat_Pars * pPars ); - - int c = 0; - int pre = 1; - int verb = 0; + int c = 0; + int pre = 1; + int verb = 0; int nConfls = 0; - ExtSat_Pars pPars; + Glucose_Pars pPars; Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "Cpvh" ) ) != EOF ) { @@ -110,7 +107,7 @@ int Abc_CommandGlucose( Abc_Frame_t * pAbc, int argc, char ** argv ) } } - pPars = ExtSat_CreatePars(pre,verb,0,nConfls); + pPars = Glucose_CreatePars(pre,verb,0,nConfls); if ( argc == globalUtilOptind + 1 ) { |