chore(planner): remove z3 (#15663)

* chore: remove z3

* chore: improve can filter null

.gitignore

@@ -73,8 +73,5 @@ benchmark/clickbench/results
 # direnv test files
 .envrc
 
-# z3
-**/.z3-trace
-
 # lychee
 .lycheecache

Cargo.toml

@@ -35,7 +35,6 @@ members = [
     "src/query/async_functions",
     "src/query/codegen",
     "src/query/config",
-    "src/query/constraint",
     "src/query/catalog",
     "src/query/sharing",
     "src/query/sharing_endpoint",
@@ -306,6 +305,4 @@ arrow-format = { git = "https://github.com/Xuanwo/arrow-format", rev = "be633a0"
 icelake = { git = "https://github.com/icelake-io/icelake", rev = "be8b2c2" }
 ethnum = { git = "https://github.com/ariesdevil/ethnum-rs", rev = "4cb05f1" }
 async-backtrace = { git = "https://github.com/zhang2014/async-backtrace.git", rev = "dea4553" }
-z3 = { git = "https://github.com/prove-rs/z3.rs", rev = "247d308" }
-z3-sys = { git = "https://github.com/prove-rs/z3.rs", rev = "247d308" }
 # proj = { git = "https://github.com/ariesdevil/proj", rev = "51e1c60" }

Makefile

@@ -110,7 +110,7 @@ clean:
 	rm -f ./nohup.out ./tests/suites/0_stateless/*.stdout-e
 	rm -rf ./_meta*/ ./_logs*/ ./src/query/service_logs*/ ./src/meta/service/_logs*/ ./stateless_test_data/
 	rm -rf ./src/common/base/_logs*/ ./src/meta/raft-store/_logs*/ ./src/meta/sled-store/_logs*/
-	find . \( -type f -name '.z3-trace' -o -type d -name '.databend' \) | xargs rm -rf
+	rm -rf ./.databend ./query/service/.databend ./meta/service/.databend
 
 genproto:
 	python  -m grpc_tools.protoc -Isrc/common/cloud_control/proto/ --python_out=tests/cloud_control_server/ --grpc_python_out=tests/cloud_control_server/ src/common/cloud_control/proto/task.proto

docker/build-tool/musl/Dockerfile

@@ -20,13 +20,6 @@ RUN ln -s ${MUSL_TARGET}-gcc /usr/local/bin/musl-gcc
 
 RUN rustup target add ${MUSL_RUST_TARGET}
 
-# needed by z3
-RUN ln -s ${MUSL_TARGET}-g++ /usr/local/bin/musl-g++
-RUN ln -s ${MUSL_TARGET}-ar /usr/local/bin/musl-ar
-
-# HACK: something wrong with python detection in cmake for z3
-RUN ln -s python3.9 /usr/bin/python3.10
-
 # HACK: to link with libstdc++ statically
 # ref: https://github.com/rust-lang/rust/issues/36710#issuecomment-364623950
 COPY linker.sh /usr/local/bin/linker

src/binaries/Cargo.toml

@@ -8,15 +8,14 @@ publish = { workspace = true }
 edition = { workspace = true }
 
 [features]
-default = ["simd", "jemalloc", "z3-prove"]
+default = ["simd", "jemalloc"]
 memory-profiling = [
     "databend-meta/memory-profiling",
     "databend-query/memory-profiling",
     "databend-common-base/memory-profiling",
 ]
 python-udf = ["databend-query/python-udf"]
 simd = ["databend-meta/simd", "databend-query/simd"]
-z3-prove = ["databend-query/z3-prove"]
 jemalloc = ["databend-common-base/jemalloc"]
 io-uring = [
     "databend-meta/io-uring",