From 98090fbf501de1ee36215b04be9561af32c8aaf1 Mon Sep 17 00:00:00 2001 From: Copilot <198982749+Copilot@users.noreply.github.com> Date: Thu, 30 Oct 2025 03:15:01 -0700 Subject: [PATCH] Add finite_set API bindings for ML, TypeScript, and Julia (#8005) * Initial plan * Add finite_set API functions to Julia bindings Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --------- Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com> Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com> --- src/api/julia/z3jl.cpp | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/src/api/julia/z3jl.cpp b/src/api/julia/z3jl.cpp index 336a73976..6ddf44794 100644 --- a/src/api/julia/z3jl.cpp +++ b/src/api/julia/z3jl.cpp @@ -309,6 +309,17 @@ JLCXX_MODULE define_julia_module(jlcxx::Module &m) m.method("sqrt", static_cast(&sqrt)); m.method("fma", static_cast(&fma)); m.method("range", &range); + m.method("finite_set_empty", &finite_set_empty); + m.method("finite_set_singleton", &finite_set_singleton); + m.method("finite_set_union", &finite_set_union); + m.method("finite_set_intersect", &finite_set_intersect); + m.method("finite_set_difference", &finite_set_difference); + m.method("finite_set_member", &finite_set_member); + m.method("finite_set_size", &finite_set_size); + m.method("finite_set_subset", &finite_set_subset); + m.method("finite_set_map", &finite_set_map); + m.method("finite_set_filter", &finite_set_filter); + m.method("finite_set_range", &finite_set_range); // ------------------------------------------------------------------------- @@ -618,6 +629,7 @@ JLCXX_MODULE define_julia_module(jlcxx::Module &m) .MM(context, string_sort) .MM(context, seq_sort) .MM(context, re_sort) + .MM(context, finite_set_sort) .method("array_sort", static_cast(&context::array_sort)) .method("array_sort", static_cast(&context::array_sort)) .method("fpa_sort", static_cast(&context::fpa_sort))