I installed Z3 on the mono in Ubuntu 18.04 according to the steps mentioned at https://github.com/Z3Prover/z3 and got the message of success, but Z3 does not work properly and it is not in the Microsoft.z3.dll file in Mono or GAC.
For SearchPath "{TargetFrameworkDirectory}".
Considered "/usr/lib/mono/xbuild-frameworks/.NETFramework/v4.5.2/Microsoft.Z3.winmd", but it didn't exist.
Considered "/usr/lib/mono/xbuild-frameworks/.NETFramework/v4.5.2/Microsoft.Z3.dll", but it didn't exist.
Considered "/usr/lib/mono/xbuild-frameworks/.NETFramework/v4.5.2/Microsoft.Z3.exe", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Microsoft.Z3.winmd", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Microsoft.Z3.dll", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Microsoft.Z3.exe", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Facades/Microsoft.Z3.winmd", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Facades/Microsoft.Z3.dll", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Facades/Microsoft.Z3.exe", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Facades/Microsoft.Z3.winmd", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Facades/Microsoft.Z3.dll", but it didn't exist.
Considered "/usr/lib/mono/4.5.2-api/Facades/Microsoft.Z3.exe", but it didn't exist.
For SearchPath "{GAC}".
Considered "Microsoft.Z3", which was not found in the GAC.
For SearchPath "{RawFileName}".
Considered treating "Microsoft.Z3" as a file name, but it didn't exist.
For SearchPath "bin/x64/Release/".
Considered "bin/x64/Release/Microsoft.Z3.winmd", but it didn't exist.
Considered "bin/x64/Release/Microsoft.Z3.dll", but it didn't exist.
Considered "bin/x64/Release/Microsoft.Z3.exe", but it didn't exist.
"/home/mahdieh/Spire-master/Spire.sln" (default target) (1) ->
"/home/mahdieh/Spire-master/Spire/Spire.csproj" (default target) (2) ->
(CoreCompile target) ->
PolicySynthesis.cs(17,17): error CS0234: The type or namespace name 'Z3' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?) [/home/mahdieh/Spire-master/Spire/Spire.csproj]
Synthesize.cs(17,17): error CS0234: The type or namespace name 'Z3' does not exist in the namespace 'Microsoft' (are you missing an assembly reference?) [/home/mahdieh/Spire-master/Spire/Spire.csproj]
