Code

Expose forall and exists to Julia#7099

Code

Merged

NikolajBjorner merged 1 commit intoZ3Prover:masterZ3Prover/z3:masterfrom

remysucre:patch-2remysucre/z3:patch-2Copy head branch name to clipboard

Jan 25, 2024

Commits

Commits on Jan 25, 2024

• Expose forall and exists to Julia

  remysucre

  authored
  8eddd39

  Copy full SHA for 8eddd39