diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-05-25 18:39:45 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-05-25 18:39:45 -0700 |
| commit | 890ff42cb7c80acf3dc4023b7ea430aa283cd8aa (patch) | |
| tree | 1fd4743a9fc1340a2b1d7979b0b232b8e5f4fb55 /src/proof/dch/dchSat.c | |
| parent | 91b542815488fe23c2d625e69eb2a1add12cf1fe (diff) | |
| download | abc-890ff42cb7c80acf3dc4023b7ea430aa283cd8aa.tar.gz abc-890ff42cb7c80acf3dc4023b7ea430aa283cd8aa.tar.bz2 abc-890ff42cb7c80acf3dc4023b7ea430aa283cd8aa.zip | |
Adding command &print_truth to print truth tables for primary outputs.
Diffstat (limited to 'src/proof/dch/dchSat.c')
0 files changed, 0 insertions, 0 deletions