Expose forall and exists to Julia (#7099)

Z3Prover · Jan 25, 2024 · dec5715 · dec5715
1 parent 9d59d86
commit dec5715
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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));