Main
Get CZT
Documentation
Project Documentation
Parent Project
The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:
| GroupId | ArtifactId | Version | Classifier | Type | Optional |
|---|---|---|---|---|---|
| org.apache.maven | maven-script-ant | 2.0.1 | - | jar |
The following is a list of test dependencies for this project. These dependencies are only required to compile and run unit tests for the application:
| GroupId | ArtifactId | Version | Classifier | Type | Optional |
|---|---|---|---|---|---|
| junit | junit | 3.8.1 | - | jar |
The following is a list of transitive dependencies for this project. Transitive dependencies are the dependencies of the project dependencies.
The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:
| GroupId | ArtifactId | Version | Classifier | Type | Optional |
|---|---|---|---|---|---|
| ant | ant | 1.6.5 | - | jar | |
| ant | ant-launcher | 1.6.5 | - | jar | |
| classworlds | classworlds | 1.1-alpha-2 | - | jar | |
| org.apache.maven | maven-plugin-api | 2.0 | - | jar | |
| org.codehaus.plexus | plexus-ant-factory | 1.0-alpha-1 | - | jar | |
| org.codehaus.plexus | plexus-container-default | 1.0-alpha-8 | - | jar | |
| org.codehaus.plexus | plexus-utils | 1.0.5 | - | jar |
Set of libraries and tools for editing, typechecking and animating formal specifications written in the Z specification language, with some support for Z extensions such as Object-Z and Circus.
http://czt.sourceforge.net/maven-sitesource-plugin
Unnamed - junit:junit:jar:3.8.1
Maven is a project development management and comprehension tool. Based on the concept of a project object model: builds, dependency management, documentation creation, site publication, and distribution publication are all controlled from the declarative file. Maven can be extended by plugins to utilise a number of other development tools for reporting or the build process.
http://maven.apache.org/maven2/maven-script/maven-script-ant
Maven is a project development management and comprehension tool. Based on the concept of a project object model: builds, dependency management, documentation creation, site publication, and distribution publication are all controlled from the declarative file. Maven can be extended by plugins to utilise a number of other development tools for reporting or the build process.
http://maven.apache.org/maven2/maven-plugin-api