diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-12-06 10:31:21 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-12-06 10:31:21 -0800 |
| commit | c4322a0afd740d85fe850e0811d629627a062403 (patch) | |
| tree | da2f6bae8ac6c2c766bcf80ae8032f082832851f /src/sat/bsat/satStore.h | |
| parent | b258db83b8b9becc444baf11732597c000651020 (diff) | |
| download | abc-c4322a0afd740d85fe850e0811d629627a062403.tar.gz abc-c4322a0afd740d85fe850e0811d629627a062403.tar.bz2 abc-c4322a0afd740d85fe850e0811d629627a062403.zip | |
Switch -a to use only AND-gates in 'twoexact' and 'lutexact'.
Diffstat (limited to 'src/sat/bsat/satStore.h')
0 files changed, 0 insertions, 0 deletions