diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-16 20:58:23 +0900 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-16 20:58:23 +0900 |
commit | cd4807ea043b6179b22bdb281318e8d3b6911c8b (patch) | |
tree | 50ece19517585eae60f53e71a37b70a3ad8c7a3c /src/sat/bmc/bmc.h | |
parent | 4b2205ce6e2fe09f00d339f0f3ef8d3fc04449df (diff) | |
download | abc-cd4807ea043b6179b22bdb281318e8d3b6911c8b.tar.gz abc-cd4807ea043b6179b22bdb281318e8d3b6911c8b.tar.bz2 abc-cd4807ea043b6179b22bdb281318e8d3b6911c8b.zip |
Adding support for cardinality constraints in &fftest (switches -K and -k).
Diffstat (limited to 'src/sat/bmc/bmc.h')
-rw-r--r-- | src/sat/bmc/bmc.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/sat/bmc/bmc.h b/src/sat/bmc/bmc.h index 75529f7b..14ffec12 100644 --- a/src/sat/bmc/bmc.h +++ b/src/sat/bmc/bmc.h @@ -130,6 +130,8 @@ struct Bmc_ParFf_t_ int fStartPats; int nTimeOut; int nIterCheck; + int nCardConstr; + int fNonStrict; int fBasic; int fFfOnly; int fDump; |