diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-01-10 10:19:26 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-01-10 10:19:26 -0800 |
commit | d6178631be82089dc65263cd10293211abad5924 (patch) | |
tree | e5b663cd124026a7694a75b46b4b71811fb1b7a8 /src/aig/gia | |
parent | a4f977638849d8ba679cbdfd66e3a74c9bf91fe3 (diff) | |
download | abc-d6178631be82089dc65263cd10293211abad5924.tar.gz abc-d6178631be82089dc65263cd10293211abad5924.tar.bz2 abc-d6178631be82089dc65263cd10293211abad5924.zip |
Adding support of candinality clause to the SAT solver.
Diffstat (limited to 'src/aig/gia')
0 files changed, 0 insertions, 0 deletions