Code

Make all methods show in java API#6626

Code

Merged

NikolajBjorner merged 2 commits intoZ3Prover:masterZ3Prover/z3:masterfrom BramVerb:masterBramVerb/z3:masterCopy head branch name to clipboardMar 8, 2023

+85-85

Commits

Commits on Mar 7, 2023

• Make all methods show in java API

  BramVerb

  committed
  0432b9b

Commits on Mar 8, 2023

• Add final modifier to all generic methods

  BramVerb

  committed
  2955a96