Download of Z3_ACIDE_Ubuntu_13.10.zip (Z3_ACIDE_Ubuntu_13.10.zip ( external link: SF.net): 35,631,551 字节) 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.