diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-03 07:28:04 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-03 07:28:04 -0700 |
| commit | 1d44f420392d40a71c907a0ad7636983f2441f30 (patch) | |
| tree | befcd781e41c12f993896bf04ad9c988de39825e /src/sat/satoko/cdb.h | |
| parent | f99149889037a439460e06f5e1e089d0c914f9a8 (diff) | |
| download | abc-1d44f420392d40a71c907a0ad7636983f2441f30.tar.gz abc-1d44f420392d40a71c907a0ad7636983f2441f30.tar.bz2 abc-1d44f420392d40a71c907a0ad7636983f2441f30.zip | |
Change in Satoko to make assumption var values appear in satisfiable assignments produced.
Diffstat (limited to 'src/sat/satoko/cdb.h')
0 files changed, 0 insertions, 0 deletions