diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-16 13:13:30 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-16 13:13:30 -0700 |
| commit | b5d42e8bf3600cb68941fedf55543dc3f4744478 (patch) | |
| tree | 02f079d8c91ef874f7a0ebe183c21e181958ecda /src/sat/glucose | |
| parent | 6d2efdf28f95867119708b7361418c749daedf37 (diff) | |
| download | abc-b5d42e8bf3600cb68941fedf55543dc3f4744478.tar.gz abc-b5d42e8bf3600cb68941fedf55543dc3f4744478.tar.bz2 abc-b5d42e8bf3600cb68941fedf55543dc3f4744478.zip | |
Adding support for Dimacs input to &satoko.
Diffstat (limited to 'src/sat/glucose')
| -rw-r--r-- | src/sat/glucose/AbcGlucoseCmd.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/sat/glucose/AbcGlucoseCmd.cpp b/src/sat/glucose/AbcGlucoseCmd.cpp index bcff4165..74a58c33 100644 --- a/src/sat/glucose/AbcGlucoseCmd.cpp +++ b/src/sat/glucose/AbcGlucoseCmd.cpp @@ -50,7 +50,7 @@ extern "C" { void Glucose_Init(Abc_Frame_t *pAbc) { - Cmd_CommandAdd( pAbc, "ABC9", "&gluco", Abc_CommandGlucose, 0 ); + Cmd_CommandAdd( pAbc, "ABC9", "&glucose", Abc_CommandGlucose, 0 ); } void Glucose_End( Abc_Frame_t * pAbc ) @@ -127,8 +127,8 @@ int Abc_CommandGlucose( Abc_Frame_t * pAbc, int argc, char ** argv ) return 0; usage: - Abc_Print( -2, "usage: &gluco [-C num] [-pvh] <file.cnf>\n" ); - Abc_Print( -2, "\t run glucose\n" ); + Abc_Print( -2, "usage: &glucose [-C num] [-pvh] <file.cnf>\n" ); + Abc_Print( -2, "\t run Glucose 3.0 by Gilles Audemard and Laurent Simon\n" ); Abc_Print( -2, "\t-C num : conflict limit [default = %d]\n", nConfls ); Abc_Print( -2, "\t-p : enable preprocessing [default = %d]\n",pre); Abc_Print( -2, "\t-v : verbosity [default = %d]\n",verb); |