From 77fed8b97ca376d320c3466e08e6affc0ea60368 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 24 May 2025 00:15:47 +0100 Subject: [PATCH] v1 of a randomizer simplifier --- src/ast/simplifiers/CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/src/ast/simplifiers/CMakeLists.txt b/src/ast/simplifiers/CMakeLists.txt index 2affb793b..d947011ae 100644 --- a/src/ast/simplifiers/CMakeLists.txt +++ b/src/ast/simplifiers/CMakeLists.txt @@ -36,6 +36,7 @@ z3_add_component(simplifiers elim_term_ite.h pull_nested_quantifiers.h push_ite.h + randomizer.h refine_inj_axiom.h rewriter_simplifier.h )