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/misc/mvc/mvcDivide.c | |
| 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/misc/mvc/mvcDivide.c')
0 files changed, 0 insertions, 0 deletions