diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-23 14:50:46 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-23 14:50:46 -0700 |
commit | f79d8e4b0443bda2249735e34545ed2197cbe5ea (patch) | |
tree | 9639fef4862997af1ccc72401c630ccaedab545a /src/base | |
parent | e19d21a09b1854a35b5a0b44e43b3dd307a7f9a0 (diff) | |
download | abc-f79d8e4b0443bda2249735e34545ed2197cbe5ea.tar.gz abc-f79d8e4b0443bda2249735e34545ed2197cbe5ea.tar.bz2 abc-f79d8e4b0443bda2249735e34545ed2197cbe5ea.zip |
Improvements to CNF generation.
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/io/io.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c index 2e796cd6..eb8a7f9f 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -1914,7 +1914,7 @@ int IoCommandWriteCnf( Abc_Frame_t * pAbc, int argc, char **argv ) usage: fprintf( pAbc->Err, "usage: write_cnf [-nfpcvh] <file>\n" ); - fprintf( pAbc->Err, "\t writes the miter cone into a CNF file\n" ); + fprintf( pAbc->Err, "\t generated CNF for the miter (see also \"&write_cnf\")\n" ); fprintf( pAbc->Err, "\t-n : toggle using new algorithm [default = %s]\n", fNewAlgo? "yes" : "no" ); fprintf( pAbc->Err, "\t-f : toggle using fast algorithm [default = %s]\n", fFastAlgo? "yes" : "no" ); fprintf( pAbc->Err, "\t-p : toggle using all primes to enhance implicativity [default = %s]\n", fAllPrimes? "yes" : "no" ); |