Nuno Lopes 45fadafed0 add Z3 package (#5564) ...

* add Z3 package

* z3: don't assume python is installed

* [z3] attempt to fix build failure due to path truncation
patch already upstreamed

* [z3] add support for static build

* [z3] Fail preemptively on UWP

2019-03-08 19:00:48 -08:00

1.1 KiB

Raw Permalink Blame History

View Raw