Pro B tool

[shvethalai]

I cannot run Z schema's and before i used to use the same tool to visualize the schemas and now i am not able to use it i download the .tex file from overleaf and when i open in Prob tool it does not work and open.

[leuschel]

I have tried opening Z files with ProB Tcl/Tk and ProB2-UI and encountered no issue. Can you provide us with more details about the problem: what is the error message, which model are you trying to load, which version of ProB are you using, which operating system,... ?