Commit Graph

2 Commits

Author SHA1 Message Date
Nuno Lopes
52168a8503 [z3] bump version to 4.8.5 (#6803) 2019-06-06 18:53:20 -07:00
JackBoosY
7bd2e96ada [z3]Fix install files path and add tools. 2019-05-21 04:31:57 +00:00