CZT: Community Z Tools

compile

The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:

test

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:

compile

The following is a list of compile dependencies for this project. These dependencies are required to compile and run the application:

Dependency Tree

• net.sourceforge.czt:corejava-z:jar:1.6-SNAPSHOT

  corejava-z
  Description: There is currently no description associated with this project. Project License: No license is defined for this project.

  • net.sourceforge.czt:zml:jar:1.6-SNAPSHOT (test)

    CZT ZML
    Description: Provides XML Schemas that define the XML markup for Z and example specifications in various mark-ups. URL: http://czt.sourceforge.net/zml Project License: GPL

  • net.sourceforge.czt:util:jar:1.6-SNAPSHOT (compile)

    CZT Util
    Description: Provides utility classes for CZT. URL: http://czt.sourceforge.net/util Project License: GPL

    • commons-cli:commons-cli:jar:1.2 (compile)

      Commons CLI
      Description: Commons CLI provides a simple API for presenting, processing and validating a command line interface. URL: http://commons.apache.org/cli/ Project License: The Apache Software License, Version 2.0

  • junit:junit:jar:4.5 (test)

    JUnit
    Description: JUnit is a regression testing framework written by Erich Gamma and Kent Beck. It is used by the developer who implements unit tests in Java. URL: http://junit.org Project License: Common Public License Version 1.0