diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-25 18:06:36 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-25 18:06:36 -0800 |
commit | 9726d5a85e132e117cbc5caf7a3d8b6cd2f9e4fc (patch) | |
tree | 5eb399f32c6f4ab4dcb6e44fddfe9e5de799ab03 /src/aig/cnf | |
parent | 7a0a4d4d7917290168450c2296f1504f06b34b88 (diff) | |
download | abc-9726d5a85e132e117cbc5caf7a3d8b6cd2f9e4fc.tar.gz abc-9726d5a85e132e117cbc5caf7a3d8b6cd2f9e4fc.tar.bz2 abc-9726d5a85e132e117cbc5caf7a3d8b6cd2f9e4fc.zip |
Improvement to the SAT solver (skipping binary clauses).
Diffstat (limited to 'src/aig/cnf')
0 files changed, 0 insertions, 0 deletions