Download of Z3_ACIDE_Ubuntu.tar.gz (Z3_ACIDE_Ubuntu.tar.gz ( external link: SF.net): 41,512,963 bytes) will begin shortly. If not so, click link on the left.
ACIDE is A Configurable Integrated Development Environment which can be easily and widely configured for any interpreter, compiler or database system. It enjoys project management, multi-file editing, syntax colouring and database connections.