mcBV/z3 в master - mcBV

зеркало из https://github.com/microsoft/mcBV.git

История

Christoph M. Wintersteiger 9110b23271 First public release		2016-06-08 15:14:02 +01:00
..
README.md	First public release	2016-06-08 15:14:02 +01:00

mcBV requires Z3; specifically, libz3.dll and Microsoft.Z3.dll should be put into this directory.