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/bsat2 | |
| 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/bsat2')
0 files changed, 0 insertions, 0 deletions