From dec5715f034048f959e0e868c7844f86d15ee5d1 Mon Sep 17 00:00:00 2001
From: Yisu Remy Wang <remy.sucre@gmail.com>
Date: Thu, 25 Jan 2024 09:49:01 -0800
Subject: [PATCH] Expose forall and exists to Julia (#7099)

---
 src/api/julia/z3jl.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/api/julia/z3jl.cpp b/src/api/julia/z3jl.cpp
index 5aef2f41db0..336a739763d 100644
--- a/src/api/julia/z3jl.cpp
+++ b/src/api/julia/z3jl.cpp
@@ -303,6 +303,8 @@ JLCXX_MODULE define_julia_module(jlcxx::Module &m)
     m.method("xnor", &xnor);
     m.method("min", &min);
     m.method("max", &max);
+    m.method("exists", static_cast<expr (*)(expr_vector const &, expr const &)>(&exists));
+    m.method("forall", static_cast<expr (*)(expr_vector const &, expr const &)>(&forall));
     m.method("abs", static_cast<expr (*)(expr const &)>(&abs));
     m.method("sqrt", static_cast<expr (*)(expr const &, expr const &)>(&sqrt));
     m.method("fma", static_cast<expr (*)(expr const &, expr const &, expr const &, expr const &)>(&fma));