Versions Compared

Version Old Version 9 New Version 10
Changes made by

Axel Keller

Axel Keller

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

Description

Z3 is a theorem prover from Microsoft Research.

More information

- Homepage: https://github.com/Z3Prover/z3

...