diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-10 01:26:23 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-10 01:26:23 -0700 |
| commit | 1d441b6489b8b9df53297ab4c115ac86ae0d448c (patch) | |
| tree | 6fb41dd27d8ae48d93f71cda4ed56526092c5302 /src/aig | |
| parent | 997e4c77acc191a0d0b9575c435f3618d4f09ebc (diff) | |
| download | abc-1d441b6489b8b9df53297ab4c115ac86ae0d448c.tar.gz abc-1d441b6489b8b9df53297ab4c115ac86ae0d448c.tar.bz2 abc-1d441b6489b8b9df53297ab4c115ac86ae0d448c.zip | |
Performance bug fix in the SAT solver (clearing variable activity after rollback).
Diffstat (limited to 'src/aig')
0 files changed, 0 insertions, 0 deletions