diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-26 15:01:54 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-26 15:01:54 -0700 |
commit | c2ab4426e425375645cb253dacef67946aaad3c7 (patch) | |
tree | 18a3590e1945bdf2845a36812795ce9a6cd80e5f /src/sat/bsat | |
parent | a4144cf0d13ba73062dea4936cd5784f7171d325 (diff) | |
download | abc-c2ab4426e425375645cb253dacef67946aaad3c7.tar.gz abc-c2ab4426e425375645cb253dacef67946aaad3c7.tar.bz2 abc-c2ab4426e425375645cb253dacef67946aaad3c7.zip |
Important bug fix in XOR balancing (balance -x).
Diffstat (limited to 'src/sat/bsat')
0 files changed, 0 insertions, 0 deletions