Take the 2-minute tour ×

Can the latest z3 be installed in the Redhat linux platform? There is no mentation to this platform in the http://z3.codeplex.com

share|improve this question
add comment

1 Answer

As you pointed out, we currently do not provide pre-compiled binaries for RedHat Linux. We currently only provide pre-compiled binaries for: Ubuntu and Debian. We also regularly compile Z3 on Fedora. That being said, you should be able to compile Z3 on RedHat Linux without problems. In particular, we have managed to compile the unstable (work-in-progress) branch in many different platforms. See this related question:

This link has instructions on how to compile Z3 on Linux.

share|improve this answer
add comment

Your Answer


