EdilsonGalvao

Hello, Scenario: Cent OS 7 Z3 From Nugget 4.8.4 (I used 4.8.9 as well) C# Code. Exception ``` ---> (Inner Exception #32) System.DllNotFoundException: Unable to load shared library 'libz3' or...