Windows users: Download one of the above zip files, decompress it, double-click on Z3-ACIDE.jar and enjoy!
Ubuntu and MacOS X users must start the system with:
java -jar Z3-ACIDE.jar.
Press the icon to send the file contents for its execution (the file must be saved).
Press the help button to get help on Z3.
Select on ACIDE menu for opening the ACIDE User Manual.