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/sat/bsat/satStore.h | |
| 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/sat/bsat/satStore.h')
0 files changed, 0 insertions, 0 deletions