KarimGhallab

I am facing the same issue, here. After publishing my app for linux and osx platforms, I get the exact same error. `System.DllNotFoundException: Unable to load shared library 'libz3' or...

Same problem here, I'm running on Ubuntu 22.04. Everything seems to work fine up to step 3 where I get the same error as presented above :thinking: