diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-07 00:22:32 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-07 00:22:32 -0700 |
commit | 998aeff15e96cc1b49ea7e7d21c8c7bc76ad7a23 (patch) | |
tree | a3684d2f1afe502fdbf249da1d7eb85dad0e0c04 /src/generic.h | |
parent | 31b2e8bebd9a531d4a1a6a807436615e0497c75e (diff) | |
download | abc-998aeff15e96cc1b49ea7e7d21c8c7bc76ad7a23.tar.gz abc-998aeff15e96cc1b49ea7e7d21c8c7bc76ad7a23.tar.bz2 abc-998aeff15e96cc1b49ea7e7d21c8c7bc76ad7a23.zip |
Improvement to CNF encoding of cardinality constraints proposed by Mathias Soaken.
Diffstat (limited to 'src/generic.h')
0 files changed, 0 insertions, 0 deletions