diff --git a/cmake/cmake_uninstall.cmake.in b/contrib/cmake/cmake/cmake_uninstall.cmake.in
similarity index 100%
rename from cmake/cmake_uninstall.cmake.in
rename to contrib/cmake/cmake/cmake_uninstall.cmake.in
diff --git a/cmake/compiler_flags_override.cmake b/contrib/cmake/cmake/compiler_flags_override.cmake
similarity index 100%
rename from cmake/compiler_flags_override.cmake
rename to contrib/cmake/cmake/compiler_flags_override.cmake
diff --git a/cmake/compiler_warnings.cmake b/contrib/cmake/cmake/compiler_warnings.cmake
similarity index 100%
rename from cmake/compiler_warnings.cmake
rename to contrib/cmake/cmake/compiler_warnings.cmake
diff --git a/cmake/modules/FindGMP.cmake b/contrib/cmake/cmake/modules/FindGMP.cmake
similarity index 100%
rename from cmake/modules/FindGMP.cmake
rename to contrib/cmake/cmake/modules/FindGMP.cmake
diff --git a/cmake/target_arch_detect.cmake b/contrib/cmake/cmake/target_arch_detect.cmake
similarity index 100%
rename from cmake/target_arch_detect.cmake
rename to contrib/cmake/cmake/target_arch_detect.cmake
diff --git a/cmake/target_arch_detect.cpp b/contrib/cmake/cmake/target_arch_detect.cpp
similarity index 100%
rename from cmake/target_arch_detect.cpp
rename to contrib/cmake/cmake/target_arch_detect.cpp
diff --git a/cmake/z3_add_component.cmake b/contrib/cmake/cmake/z3_add_component.cmake
similarity index 100%
rename from cmake/z3_add_component.cmake
rename to contrib/cmake/cmake/z3_add_component.cmake
diff --git a/cmake/z3_add_cxx_flag.cmake b/contrib/cmake/cmake/z3_add_cxx_flag.cmake
similarity index 100%
rename from cmake/z3_add_cxx_flag.cmake
rename to contrib/cmake/cmake/z3_add_cxx_flag.cmake
diff --git a/examples/CMakeLists.txt b/contrib/cmake/examples/CMakeLists.txt
similarity index 100%
rename from examples/CMakeLists.txt
rename to contrib/cmake/examples/CMakeLists.txt
diff --git a/examples/c++/CMakeLists.txt b/contrib/cmake/examples/c++/CMakeLists.txt
similarity index 100%
rename from examples/c++/CMakeLists.txt
rename to contrib/cmake/examples/c++/CMakeLists.txt
diff --git a/examples/c/CMakeLists.txt b/contrib/cmake/examples/c/CMakeLists.txt
similarity index 100%
rename from examples/c/CMakeLists.txt
rename to contrib/cmake/examples/c/CMakeLists.txt
diff --git a/src/CMakeLists.txt b/contrib/cmake/src/CMakeLists.txt
similarity index 100%
rename from src/CMakeLists.txt
rename to contrib/cmake/src/CMakeLists.txt
diff --git a/src/ackermannization/CMakeLists.txt b/contrib/cmake/src/ackermannization/CMakeLists.txt
similarity index 100%
rename from src/ackermannization/CMakeLists.txt
rename to contrib/cmake/src/ackermannization/CMakeLists.txt
diff --git a/src/api/CMakeLists.txt b/contrib/cmake/src/api/CMakeLists.txt
similarity index 100%
rename from src/api/CMakeLists.txt
rename to contrib/cmake/src/api/CMakeLists.txt
diff --git a/src/api/dll/CMakeLists.txt b/contrib/cmake/src/api/dll/CMakeLists.txt
similarity index 100%
rename from src/api/dll/CMakeLists.txt
rename to contrib/cmake/src/api/dll/CMakeLists.txt
diff --git a/src/api/python/CMakeLists.txt b/contrib/cmake/src/api/python/CMakeLists.txt
similarity index 100%
rename from src/api/python/CMakeLists.txt
rename to contrib/cmake/src/api/python/CMakeLists.txt
diff --git a/src/ast/CMakeLists.txt b/contrib/cmake/src/ast/CMakeLists.txt
similarity index 100%
rename from src/ast/CMakeLists.txt
rename to contrib/cmake/src/ast/CMakeLists.txt
diff --git a/src/ast/fpa/CMakeLists.txt b/contrib/cmake/src/ast/fpa/CMakeLists.txt
similarity index 100%
rename from src/ast/fpa/CMakeLists.txt
rename to contrib/cmake/src/ast/fpa/CMakeLists.txt
diff --git a/src/ast/macros/CMakeLists.txt b/contrib/cmake/src/ast/macros/CMakeLists.txt
similarity index 100%
rename from src/ast/macros/CMakeLists.txt
rename to contrib/cmake/src/ast/macros/CMakeLists.txt
diff --git a/src/ast/normal_forms/CMakeLists.txt b/contrib/cmake/src/ast/normal_forms/CMakeLists.txt
similarity index 100%
rename from src/ast/normal_forms/CMakeLists.txt
rename to contrib/cmake/src/ast/normal_forms/CMakeLists.txt
diff --git a/src/ast/pattern/CMakeLists.txt b/contrib/cmake/src/ast/pattern/CMakeLists.txt
similarity index 100%
rename from src/ast/pattern/CMakeLists.txt
rename to contrib/cmake/src/ast/pattern/CMakeLists.txt
diff --git a/src/ast/proof_checker/CMakeLists.txt b/contrib/cmake/src/ast/proof_checker/CMakeLists.txt
similarity index 100%
rename from src/ast/proof_checker/CMakeLists.txt
rename to contrib/cmake/src/ast/proof_checker/CMakeLists.txt
diff --git a/src/ast/rewriter/CMakeLists.txt b/contrib/cmake/src/ast/rewriter/CMakeLists.txt
similarity index 100%
rename from src/ast/rewriter/CMakeLists.txt
rename to contrib/cmake/src/ast/rewriter/CMakeLists.txt
diff --git a/src/ast/rewriter/bit_blaster/CMakeLists.txt b/contrib/cmake/src/ast/rewriter/bit_blaster/CMakeLists.txt
similarity index 100%
rename from src/ast/rewriter/bit_blaster/CMakeLists.txt
rename to contrib/cmake/src/ast/rewriter/bit_blaster/CMakeLists.txt
diff --git a/src/ast/simplifier/CMakeLists.txt b/contrib/cmake/src/ast/simplifier/CMakeLists.txt
similarity index 100%
rename from src/ast/simplifier/CMakeLists.txt
rename to contrib/cmake/src/ast/simplifier/CMakeLists.txt
diff --git a/src/ast/substitution/CMakeLists.txt b/contrib/cmake/src/ast/substitution/CMakeLists.txt
similarity index 100%
rename from src/ast/substitution/CMakeLists.txt
rename to contrib/cmake/src/ast/substitution/CMakeLists.txt
diff --git a/src/cmd_context/CMakeLists.txt b/contrib/cmake/src/cmd_context/CMakeLists.txt
similarity index 100%
rename from src/cmd_context/CMakeLists.txt
rename to contrib/cmake/src/cmd_context/CMakeLists.txt
diff --git a/src/cmd_context/extra_cmds/CMakeLists.txt b/contrib/cmake/src/cmd_context/extra_cmds/CMakeLists.txt
similarity index 100%
rename from src/cmd_context/extra_cmds/CMakeLists.txt
rename to contrib/cmake/src/cmd_context/extra_cmds/CMakeLists.txt
diff --git a/src/duality/CMakeLists.txt b/contrib/cmake/src/duality/CMakeLists.txt
similarity index 100%
rename from src/duality/CMakeLists.txt
rename to contrib/cmake/src/duality/CMakeLists.txt
diff --git a/src/interp/CMakeLists.txt b/contrib/cmake/src/interp/CMakeLists.txt
similarity index 100%
rename from src/interp/CMakeLists.txt
rename to contrib/cmake/src/interp/CMakeLists.txt
diff --git a/src/math/automata/CMakeLists.txt b/contrib/cmake/src/math/automata/CMakeLists.txt
similarity index 100%
rename from src/math/automata/CMakeLists.txt
rename to contrib/cmake/src/math/automata/CMakeLists.txt
diff --git a/src/math/euclid/CMakeLists.txt b/contrib/cmake/src/math/euclid/CMakeLists.txt
similarity index 100%
rename from src/math/euclid/CMakeLists.txt
rename to contrib/cmake/src/math/euclid/CMakeLists.txt
diff --git a/src/math/grobner/CMakeLists.txt b/contrib/cmake/src/math/grobner/CMakeLists.txt
similarity index 100%
rename from src/math/grobner/CMakeLists.txt
rename to contrib/cmake/src/math/grobner/CMakeLists.txt
diff --git a/src/math/hilbert/CMakeLists.txt b/contrib/cmake/src/math/hilbert/CMakeLists.txt
similarity index 100%
rename from src/math/hilbert/CMakeLists.txt
rename to contrib/cmake/src/math/hilbert/CMakeLists.txt
diff --git a/src/math/interval/CMakeLists.txt b/contrib/cmake/src/math/interval/CMakeLists.txt
similarity index 100%
rename from src/math/interval/CMakeLists.txt
rename to contrib/cmake/src/math/interval/CMakeLists.txt
diff --git a/src/math/polynomial/CMakeLists.txt b/contrib/cmake/src/math/polynomial/CMakeLists.txt
similarity index 100%
rename from src/math/polynomial/CMakeLists.txt
rename to contrib/cmake/src/math/polynomial/CMakeLists.txt
diff --git a/src/math/realclosure/CMakeLists.txt b/contrib/cmake/src/math/realclosure/CMakeLists.txt
similarity index 100%
rename from src/math/realclosure/CMakeLists.txt
rename to contrib/cmake/src/math/realclosure/CMakeLists.txt
diff --git a/src/math/simplex/CMakeLists.txt b/contrib/cmake/src/math/simplex/CMakeLists.txt
similarity index 100%
rename from src/math/simplex/CMakeLists.txt
rename to contrib/cmake/src/math/simplex/CMakeLists.txt
diff --git a/src/math/subpaving/CMakeLists.txt b/contrib/cmake/src/math/subpaving/CMakeLists.txt
similarity index 100%
rename from src/math/subpaving/CMakeLists.txt
rename to contrib/cmake/src/math/subpaving/CMakeLists.txt
diff --git a/src/math/subpaving/tactic/CMakeLists.txt b/contrib/cmake/src/math/subpaving/tactic/CMakeLists.txt
similarity index 100%
rename from src/math/subpaving/tactic/CMakeLists.txt
rename to contrib/cmake/src/math/subpaving/tactic/CMakeLists.txt
diff --git a/src/model/CMakeLists.txt b/contrib/cmake/src/model/CMakeLists.txt
similarity index 100%
rename from src/model/CMakeLists.txt
rename to contrib/cmake/src/model/CMakeLists.txt
diff --git a/src/muz/base/CMakeLists.txt b/contrib/cmake/src/muz/base/CMakeLists.txt
similarity index 100%
rename from src/muz/base/CMakeLists.txt
rename to contrib/cmake/src/muz/base/CMakeLists.txt
diff --git a/src/muz/bmc/CMakeLists.txt b/contrib/cmake/src/muz/bmc/CMakeLists.txt
similarity index 100%
rename from src/muz/bmc/CMakeLists.txt
rename to contrib/cmake/src/muz/bmc/CMakeLists.txt
diff --git a/src/muz/clp/CMakeLists.txt b/contrib/cmake/src/muz/clp/CMakeLists.txt
similarity index 100%
rename from src/muz/clp/CMakeLists.txt
rename to contrib/cmake/src/muz/clp/CMakeLists.txt
diff --git a/src/muz/dataflow/CMakeLists.txt b/contrib/cmake/src/muz/dataflow/CMakeLists.txt
similarity index 100%
rename from src/muz/dataflow/CMakeLists.txt
rename to contrib/cmake/src/muz/dataflow/CMakeLists.txt
diff --git a/src/muz/ddnf/CMakeLists.txt b/contrib/cmake/src/muz/ddnf/CMakeLists.txt
similarity index 100%
rename from src/muz/ddnf/CMakeLists.txt
rename to contrib/cmake/src/muz/ddnf/CMakeLists.txt
diff --git a/src/muz/duality/CMakeLists.txt b/contrib/cmake/src/muz/duality/CMakeLists.txt
similarity index 100%
rename from src/muz/duality/CMakeLists.txt
rename to contrib/cmake/src/muz/duality/CMakeLists.txt
diff --git a/src/muz/fp/CMakeLists.txt b/contrib/cmake/src/muz/fp/CMakeLists.txt
similarity index 100%
rename from src/muz/fp/CMakeLists.txt
rename to contrib/cmake/src/muz/fp/CMakeLists.txt
diff --git a/src/muz/pdr/CMakeLists.txt b/contrib/cmake/src/muz/pdr/CMakeLists.txt
similarity index 100%
rename from src/muz/pdr/CMakeLists.txt
rename to contrib/cmake/src/muz/pdr/CMakeLists.txt
diff --git a/src/muz/rel/CMakeLists.txt b/contrib/cmake/src/muz/rel/CMakeLists.txt
similarity index 100%
rename from src/muz/rel/CMakeLists.txt
rename to contrib/cmake/src/muz/rel/CMakeLists.txt
diff --git a/src/muz/tab/CMakeLists.txt b/contrib/cmake/src/muz/tab/CMakeLists.txt
similarity index 100%
rename from src/muz/tab/CMakeLists.txt
rename to contrib/cmake/src/muz/tab/CMakeLists.txt
diff --git a/src/muz/transforms/CMakeLists.txt b/contrib/cmake/src/muz/transforms/CMakeLists.txt
similarity index 100%
rename from src/muz/transforms/CMakeLists.txt
rename to contrib/cmake/src/muz/transforms/CMakeLists.txt
diff --git a/src/nlsat/CMakeLists.txt b/contrib/cmake/src/nlsat/CMakeLists.txt
similarity index 100%
rename from src/nlsat/CMakeLists.txt
rename to contrib/cmake/src/nlsat/CMakeLists.txt
diff --git a/src/nlsat/tactic/CMakeLists.txt b/contrib/cmake/src/nlsat/tactic/CMakeLists.txt
similarity index 100%
rename from src/nlsat/tactic/CMakeLists.txt
rename to contrib/cmake/src/nlsat/tactic/CMakeLists.txt
diff --git a/src/opt/CMakeLists.txt b/contrib/cmake/src/opt/CMakeLists.txt
similarity index 100%
rename from src/opt/CMakeLists.txt
rename to contrib/cmake/src/opt/CMakeLists.txt
diff --git a/src/parsers/smt/CMakeLists.txt b/contrib/cmake/src/parsers/smt/CMakeLists.txt
similarity index 100%
rename from src/parsers/smt/CMakeLists.txt
rename to contrib/cmake/src/parsers/smt/CMakeLists.txt
diff --git a/src/parsers/smt2/CMakeLists.txt b/contrib/cmake/src/parsers/smt2/CMakeLists.txt
similarity index 100%
rename from src/parsers/smt2/CMakeLists.txt
rename to contrib/cmake/src/parsers/smt2/CMakeLists.txt
diff --git a/src/parsers/util/CMakeLists.txt b/contrib/cmake/src/parsers/util/CMakeLists.txt
similarity index 100%
rename from src/parsers/util/CMakeLists.txt
rename to contrib/cmake/src/parsers/util/CMakeLists.txt
diff --git a/src/qe/CMakeLists.txt b/contrib/cmake/src/qe/CMakeLists.txt
similarity index 100%
rename from src/qe/CMakeLists.txt
rename to contrib/cmake/src/qe/CMakeLists.txt
diff --git a/src/sat/CMakeLists.txt b/contrib/cmake/src/sat/CMakeLists.txt
similarity index 100%
rename from src/sat/CMakeLists.txt
rename to contrib/cmake/src/sat/CMakeLists.txt
diff --git a/src/sat/sat_solver/CMakeLists.txt b/contrib/cmake/src/sat/sat_solver/CMakeLists.txt
similarity index 100%
rename from src/sat/sat_solver/CMakeLists.txt
rename to contrib/cmake/src/sat/sat_solver/CMakeLists.txt
diff --git a/src/sat/tactic/CMakeLists.txt b/contrib/cmake/src/sat/tactic/CMakeLists.txt
similarity index 100%
rename from src/sat/tactic/CMakeLists.txt
rename to contrib/cmake/src/sat/tactic/CMakeLists.txt
diff --git a/src/shell/CMakeLists.txt b/contrib/cmake/src/shell/CMakeLists.txt
similarity index 100%
rename from src/shell/CMakeLists.txt
rename to contrib/cmake/src/shell/CMakeLists.txt
diff --git a/src/smt/CMakeLists.txt b/contrib/cmake/src/smt/CMakeLists.txt
similarity index 100%
rename from src/smt/CMakeLists.txt
rename to contrib/cmake/src/smt/CMakeLists.txt
diff --git a/src/smt/params/CMakeLists.txt b/contrib/cmake/src/smt/params/CMakeLists.txt
similarity index 100%
rename from src/smt/params/CMakeLists.txt
rename to contrib/cmake/src/smt/params/CMakeLists.txt
diff --git a/src/smt/proto_model/CMakeLists.txt b/contrib/cmake/src/smt/proto_model/CMakeLists.txt
similarity index 100%
rename from src/smt/proto_model/CMakeLists.txt
rename to contrib/cmake/src/smt/proto_model/CMakeLists.txt
diff --git a/src/smt/tactic/CMakeLists.txt b/contrib/cmake/src/smt/tactic/CMakeLists.txt
similarity index 100%
rename from src/smt/tactic/CMakeLists.txt
rename to contrib/cmake/src/smt/tactic/CMakeLists.txt
diff --git a/src/solver/CMakeLists.txt b/contrib/cmake/src/solver/CMakeLists.txt
similarity index 100%
rename from src/solver/CMakeLists.txt
rename to contrib/cmake/src/solver/CMakeLists.txt
diff --git a/src/tactic/CMakeLists.txt b/contrib/cmake/src/tactic/CMakeLists.txt
similarity index 100%
rename from src/tactic/CMakeLists.txt
rename to contrib/cmake/src/tactic/CMakeLists.txt
diff --git a/src/tactic/aig/CMakeLists.txt b/contrib/cmake/src/tactic/aig/CMakeLists.txt
similarity index 100%
rename from src/tactic/aig/CMakeLists.txt
rename to contrib/cmake/src/tactic/aig/CMakeLists.txt
diff --git a/src/tactic/arith/CMakeLists.txt b/contrib/cmake/src/tactic/arith/CMakeLists.txt
similarity index 100%
rename from src/tactic/arith/CMakeLists.txt
rename to contrib/cmake/src/tactic/arith/CMakeLists.txt
diff --git a/src/tactic/bv/CMakeLists.txt b/contrib/cmake/src/tactic/bv/CMakeLists.txt
similarity index 100%
rename from src/tactic/bv/CMakeLists.txt
rename to contrib/cmake/src/tactic/bv/CMakeLists.txt
diff --git a/src/tactic/core/CMakeLists.txt b/contrib/cmake/src/tactic/core/CMakeLists.txt
similarity index 100%
rename from src/tactic/core/CMakeLists.txt
rename to contrib/cmake/src/tactic/core/CMakeLists.txt
diff --git a/src/tactic/fpa/CMakeLists.txt b/contrib/cmake/src/tactic/fpa/CMakeLists.txt
similarity index 100%
rename from src/tactic/fpa/CMakeLists.txt
rename to contrib/cmake/src/tactic/fpa/CMakeLists.txt
diff --git a/src/tactic/nlsat_smt/CMakeLists.txt b/contrib/cmake/src/tactic/nlsat_smt/CMakeLists.txt
similarity index 100%
rename from src/tactic/nlsat_smt/CMakeLists.txt
rename to contrib/cmake/src/tactic/nlsat_smt/CMakeLists.txt
diff --git a/src/tactic/portfolio/CMakeLists.txt b/contrib/cmake/src/tactic/portfolio/CMakeLists.txt
similarity index 100%
rename from src/tactic/portfolio/CMakeLists.txt
rename to contrib/cmake/src/tactic/portfolio/CMakeLists.txt
diff --git a/src/tactic/sls/CMakeLists.txt b/contrib/cmake/src/tactic/sls/CMakeLists.txt
similarity index 100%
rename from src/tactic/sls/CMakeLists.txt
rename to contrib/cmake/src/tactic/sls/CMakeLists.txt
diff --git a/src/tactic/smtlogics/CMakeLists.txt b/contrib/cmake/src/tactic/smtlogics/CMakeLists.txt
similarity index 100%
rename from src/tactic/smtlogics/CMakeLists.txt
rename to contrib/cmake/src/tactic/smtlogics/CMakeLists.txt
diff --git a/src/tactic/ufbv/CMakeLists.txt b/contrib/cmake/src/tactic/ufbv/CMakeLists.txt
similarity index 100%
rename from src/tactic/ufbv/CMakeLists.txt
rename to contrib/cmake/src/tactic/ufbv/CMakeLists.txt
diff --git a/src/test/CMakeLists.txt b/contrib/cmake/src/test/CMakeLists.txt
similarity index 100%
rename from src/test/CMakeLists.txt
rename to contrib/cmake/src/test/CMakeLists.txt
diff --git a/src/test/fuzzing/CMakeLists.txt b/contrib/cmake/src/test/fuzzing/CMakeLists.txt
similarity index 100%
rename from src/test/fuzzing/CMakeLists.txt
rename to contrib/cmake/src/test/fuzzing/CMakeLists.txt
diff --git a/src/util/CMakeLists.txt b/contrib/cmake/src/util/CMakeLists.txt
similarity index 100%
rename from src/util/CMakeLists.txt
rename to contrib/cmake/src/util/CMakeLists.txt