Skip to content

A
abc
Commit 16a9c21c by Alan Mishchenko
Options

Adding Glucose 3.0 as a separate package.

parent 1ca80e1f
Showing with 2 additions and 1 deletions
src/sat/glucose/AbcGlucoseCmd.cpp
...@@ -80,6 +80,7 @@ int Abc_CommandGlucose( Abc_Frame_t * pAbc, int argc, char ** argv ) ...@@ -80,6 +80,7 @@ int Abc_CommandGlucose( Abc_Frame_t * pAbc, int argc, char ** argv )
int verb = 0; int verb = 0;
int nConfls = 0; int nConfls = 0;
ExtSat_Pars pPars;
Extra_UtilGetoptReset(); Extra_UtilGetoptReset();
while ( ( c = Extra_UtilGetopt( argc, argv, "Cpvh" ) ) != EOF ) while ( ( c = Extra_UtilGetopt( argc, argv, "Cpvh" ) ) != EOF )
{ {
...@@ -109,7 +110,7 @@ int Abc_CommandGlucose( Abc_Frame_t * pAbc, int argc, char ** argv ) ...@@ -109,7 +110,7 @@ int Abc_CommandGlucose( Abc_Frame_t * pAbc, int argc, char ** argv )
} }
} }
ExtSat_Pars pPars = ExtSat_CreatePars(pre,verb,0,nConfls); pPars = ExtSat_CreatePars(pre,verb,0,nConfls);
if ( argc == globalUtilOptind + 1 ) if ( argc == globalUtilOptind + 1 )
{ {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment