[CZT-Users] CZT Tools Install and execute from c++

[Urmas R. <ur...@ho...>]

Hello,

I would like to use CZT Tools for my work, the tool is useful i want to animate Z specifications using in c++.

First of all i want to install CZT on my PC.

I had downloadad version from SVN, installed MAVEN, executed mvn clean install, but the install process fails then it is reached

[INFO] CZT Z/Eves (proofs) Typechecker ................... FAILURE [0.334s]
[INFO] CZT Z VCG ......................................... SKIPPED
[INFO] CZT ZSideKick jEdit Plugin ........................ SKIPPED
[INFO] CZT Z Palette jEdit Plugin ........................ SKIPPED
[INFO] CZT Z/Eves Integration ............................ SKIPPED
....


So maybe i have to use any other mirror to download archives that are required during installation?
I had tried all mirrors that are in MAVEN website - 

http://maven.apache.org/guides/mini/guide-mirror-settings.html

But this does not solve the problem, the installation does not finish.

And one more problem, can i after the installation animate simple Z specifications from c++ code?

If yes then please somebody replay me how can i do that?

Thank you very much,
Urmas Repinski.