diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-19 23:34:20 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-19 23:34:20 -0700 |
| commit | c6a290ee971481d7f8792a96772deb77b6885206 (patch) | |
| tree | 29e1a8b90036bebfd3d60779b1cd191083902496 /src/sat/bmc | |
| parent | 2ded89cca5cd0e899d5549476e6774cf7264132d (diff) | |
| parent | fe6bb87e541be3d0f7dae29fd1dfdfa7b1341575 (diff) | |
| download | abc-c6a290ee971481d7f8792a96772deb77b6885206.tar.gz abc-c6a290ee971481d7f8792a96772deb77b6885206.tar.bz2 abc-c6a290ee971481d7f8792a96772deb77b6885206.zip | |
Merged in boschmitt/abc (pull request #26)
Fix the problem of not identifying divisors when its originating cubes had only 2 literals.
Diffstat (limited to 'src/sat/bmc')
0 files changed, 0 insertions, 0 deletions