diff options
author | yoni206 <yoni206@users.noreply.github.com> | 2020-02-24 19:58:01 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-24 19:58:01 -0800 |
commit | 6e17dd6d5e3ec043e5edd097ac6a736f6a41c753 (patch) | |
tree | 5faac828524e121bcba8cd2d4f1c09bb46cadcfe /.mailmap | |
parent | a3b9a99404ee00bde5db42aab63ab08df3712ba3 (diff) |
bv_to_int preprocessing pass
Introduces a preprocessing pass that translates bv problems to integer problems.
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions