diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-09-29 18:00:52 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-09-29 18:00:52 -0700 |
commit | 9a35f82d5fd396f04a0baaa50b390281c4673172 (patch) | |
tree | 23e43d148cf2ff697845fa0f6ddc4ff3aafc1dd8 /src/proof/pdr/pdrCore.c | |
parent | 4f0f2e09f84b66c1ed9a842a71a09f2f1ec65588 (diff) | |
download | abc-9a35f82d5fd396f04a0baaa50b390281c4673172.tar.gz abc-9a35f82d5fd396f04a0baaa50b390281c4673172.tar.bz2 abc-9a35f82d5fd396f04a0baaa50b390281c4673172.zip |
Supporting 'define-fun' with an expression rather than a constant.
Diffstat (limited to 'src/proof/pdr/pdrCore.c')
0 files changed, 0 insertions, 0 deletions