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 /src/CMakeLists.txt | |
| parent | a3b9a99404ee00bde5db42aab63ab08df3712ba3 (diff) | |
bv_to_int preprocessing pass
Introduces a preprocessing pass that translates bv problems to integer problems.
Diffstat (limited to 'src/CMakeLists.txt')
| -rw-r--r-- | src/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 9a81ccc63..4567f45be 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -56,6 +56,8 @@ libcvc4_add_sources( preprocessing/passes/bv_intro_pow2.h preprocessing/passes/bv_to_bool.cpp preprocessing/passes/bv_to_bool.h + preprocessing/passes/bv_to_int.cpp + preprocessing/passes/bv_to_int.h preprocessing/passes/extended_rewriter_pass.cpp preprocessing/passes/extended_rewriter_pass.h preprocessing/passes/global_negate.cpp |