diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-09 23:49:30 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-09 23:49:30 -0800 |
| commit | f67c0c173d1cfd9b9f732471950124128fa7b317 (patch) | |
| tree | 5676b09647d26e8d3d9f2c6fbd169e6bf98c4942 /src/misc/mvc/mvcDivide.c | |
| parent | eb35f0ef65681f11e7da9c378d8b937d05e3dc03 (diff) | |
| download | abc-f67c0c173d1cfd9b9f732471950124128fa7b317.tar.gz abc-f67c0c173d1cfd9b9f732471950124128fa7b317.tar.bz2 abc-f67c0c173d1cfd9b9f732471950124128fa7b317.zip | |
Changes to the main SAT solver: fixing performance bug (resetting decay params after each restart), making the SAT solver platform- and runtime-independent (by using interger-based activity).
Diffstat (limited to 'src/misc/mvc/mvcDivide.c')
0 files changed, 0 insertions, 0 deletions