Code

Fix Bugs and Make Z3 easier to Use#2

Code

Open

callendorph wants to merge 4 commits intomainStanzaOrg/slm-z3:mainfrom cja/make_easier_to_useStanzaOrg/slm-z3:cja/make_easier_to_useCopy head branch name to clipboard

+101-6

Commits

Commits on Jun 29, 2024

• [Bugfix] Fixed missing import and invalid function call

  callendorph

  committed
  1b63576

  Copy full SHA for 1b63576

• Updated the top level z3.stanza to make import easier.

  Show description for 8a71fcf
  callendorph

  committed
  8a71fcf

  Copy full SHA for 8a71fcf

Commits on Jul 3, 2024

• Updated the README for the current state of the build.

  callendorph

  committed
  155953c

  Copy full SHA for 155953c

• [Bump] Increment to version 0.2.0

  callendorph

  committed
  aac2b5f

  Copy full SHA for aac2b5f