diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-24 00:22:18 -0400 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-24 00:22:18 -0400 |
commit | a4d5a9b5bc6a8547324aa283ed777ee95009dd15 (patch) | |
tree | 4bfb9db8a4f9139ca10d5d2fa9231c685edf4b1f /src/sat | |
parent | d9b5aa49f7e77505938d14affbb7f2fe287df33d (diff) | |
download | abc-a4d5a9b5bc6a8547324aa283ed777ee95009dd15.tar.gz abc-a4d5a9b5bc6a8547324aa283ed777ee95009dd15.tar.bz2 abc-a4d5a9b5bc6a8547324aa283ed777ee95009dd15.zip |
Added support of word-level MUXes represented as 'always'-statements.
Diffstat (limited to 'src/sat')
0 files changed, 0 insertions, 0 deletions