8000 Release z3-4.8.1: Merge pull request #1881 from Z3Prover/revert-1880-c++17 · rospoly/z3 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

z3-4.8.1

z3-4.8.1: Merge pull request #1881 from Z3Prover/revert-1880-c++17
@NikolajBjorner NikolajBjorner tagged this 15 Oct 19:52 
Revert "Made Z3 compile for C++17 with MSVC"
Assets 2
Loading
0