mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-26 15:53:41 +00:00
Code Activity

v1 of a randomizer simplifier

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-05-24 00:15:47 +01:00
parent 84a5303def
commit 77fed8b97c
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/ast/simplifiers/CMakeLists.txt
View file

@ -36,6 +36,7 @@ z3_add_component(simplifiers
elim_term_ite.h elim_term_ite.h
pull_nested_quantifiers.h pull_nested_quantifiers.h
push_ite.h push_ite.h
randomizer.h
refine_inj_axiom.h refine_inj_axiom.h
rewriter_simplifier.h rewriter_simplifier.h
) )