Code

Add flag to use Z3 via API#666

Code

Merged

Dspil merged 6 commits intomasterviperproject/gobra:masterfrom z3_api_flagviperproject/gobra:z3_api_flagCopy head branch name to clipboardSep 12, 2023

+43-11

Commits

Commits on Jul 28, 2023

• added z3ApiMode flag

  Dspil

  committed
  45b7df4

• Api -> API

  Dspil

  committed
  8844584

• changed space to =

  Dspil

  committed
  25e635e

Commits on Sep 8, 2023

• Merge branch 'master' into z3_api_flag

  Dspil

  committed
  7b52085

• catch ugly exception when z3 java api not in path

  Dspil

  committed
  fda5d54

Commits on Sep 12, 2023

• Joao's feedback

  Dspil

  committed
  09ec7eb