Changes between Version 3 and Version 4 of Tools/Z3


Ignore:
Timestamp:
Aug 9, 2019, 11:24:43 AM (18 months ago)
Author:
schiptsov
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Tools/Z3

    v3 v4  
    33A theorem prover from Microsoft Research. Used by [wiki:/Tools/Clang LLVM/Clang]
    44
     5Installing
    56{{{#!bash
    67git clone --depth=1 --recourse-submodules --shallow-submodules git://github.com/Z3Prover/z3