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:ui:jar:1.6-SNAPSHOT

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

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

    CZT to Z/EVES
    Description: CZT interface to Z/EVES theorem prover. URL: http://czt.sourceforge.net/zeves Project License: GPL

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

      CZT Typechecker Z/EVES
      Description: Provides classes for typechecking Z/EVES proofs. URL: http://czt.sourceforge.net/typechecker/typechecker-zeves Project License: GPL

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

        CZT Corejava Z/EVES
        Description: Provides AST classes for Z/EVES extension. URL: http://czt.sourceforge.net/corejava/corejava-zeves Project License: GPL

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

        CZT Parser Z/EVES
        Description: Provides classes for parsing and printing Z/EVES specifications. URL: http://czt.sourceforge.net/parser/parser-zeves Project License: GPL

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

    CZT ZLive
    Description: Provides animation and testing facilities for standard Z specifications. URL: http://czt.sourceforge.net/zlive Project License: GPL

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

      CZT Parser Z
      Description: Provides classes for parsing and printing Z specifications. URL: http://czt.sourceforge.net/parser/parser-z Project License: GPL

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

      CZT Rules
      Description: Provides classes for transforming and proving Z specifications. URL: http://czt.sourceforge.net/rules Project License: GPL

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

    CZT Typechecker Object-Z
    Description: Provides classes for typechecking Object-Z specifications. URL: http://czt.sourceforge.net/typechecker/typechecker-oz Project License: GPL

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

      CZT Parser Object-Z
      Description: Provides classes for parsing and printing Object-Z specifications. URL: http://czt.sourceforge.net/parser/parser-oz Project License: GPL

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

        CZT Corejava Object-Z
        Description: Provides AST classes for Object-Z extension. URL: http://czt.sourceforge.net/corejava/corejava-oz Project License: GPL

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

      CZT Typechecker Z
      Description: Provides classes for typechecking a Z specification. URL: http://czt.sourceforge.net/typechecker/typechecker-z Project License: GPL

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

    CZT Typechecker Circus
    Description: Provides classes for typechecking Circus specifications. URL: http://czt.sourceforge.net/typechecker/typechecker-circus Project License: GPL

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

      CZT Corejava Circus
      Description: Provides AST classes for Circus extension. URL: http://czt.sourceforge.net/corejava/corejava-circus Project License: GPL

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

        CZT Corejava Z Pattern
        Description: Provides AST classes for Z Pattern extension. URL: http://czt.sourceforge.net/corejava/corejava-zpatt Project License: GPL

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

      CZT Parser Circus
      Description: Provides classes for parsing and printing Circus specifications. URL: http://czt.sourceforge.net/parser/parser-circus Project License: GPL

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

    CZT Parser Object-Z Pattern
    Description: Provides classes for parsing and printing Object-Z Pattern specifications. URL: http://czt.sourceforge.net/parser/parser-ozpatt Project License: GPL

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

      CZT Parser Z Pattern
      Description: Provides classes for parsing and printing Z Pattern specifications. URL: http://czt.sourceforge.net/parser/parser-zpatt Project License: GPL

    • net.sourceforge.czt.dev:java-cup-runtime:jar:0.11-a-czt01-SNAPSHOT (compile)

      Java CUP Runtime
      Description: Java CUP (parser generator) runtime for CUP-generated parsers. URL: http://czt.sourceforge.net/dev/java-cup-runtime Project License: CUP License (MIT License)

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

    CZT Z VCG
    Description: Verification condition generator for Z specifications. URL: http://czt.sourceforge.net/vcg/vcg-z Project License: GPL

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

      CZT Corejava Z
      Description: Provides AST classes for Z. URL: http://czt.sourceforge.net/corejava/corejava-z Project License: GPL

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

      CZT Session
      Description: Provides classes for managing and caching Z sections and other Z-related artifacts. URL: http://czt.sourceforge.net/session/ Project License: GPL

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

    CZT Corejava Circus Pattern
    Description: Provides AST classes for Circus Pattern extension. URL: http://czt.sourceforge.net/corejava/corejava-circuspatt 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

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

    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

  • 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