[CZT-Users] serval problems for czt

[ecamy <ec...@16...>]

Hi, 


I am using the czt-ide-1.6.0.201410201751-win32.win32.x86_64(in windows8). And I install the Z-EVES2.1 in my virtual machine(in windows xp). Some troubles of launching Z/EVES is as the blow:


1. my state of Z/EVES prover is always Not available. 
2. I try to connect to my Z/EVES Remote, But always failure.
3. If i use CZT whose version is higher than 201410201751, the CZT UI can't occur in Eclipse interface.
    
So, 
1. Whether Z/EVES is really integrated in CZT or not?  
2. Is the version of Z/EVES limited to above 2.3, I only have Z/EVES 2.1, How can I do?
3. How I can find out the CZT UI in eclipse when I use higher version of CZT?


By the way, Thanks for your CZT,  The conversation to latex is so convenient for me. Thanks so much.


Best.
Emily Wang