About newer version of zustre

[kumori123]

Hi,
I'm very interested in this project. However it seems that this project hasnt been updated for a long time. Is the project been deprecated, or there is a newer version?
Thanks for replying!

[ploc]

We are trying to re-activate Zustre. For the moment we recommend using kind2 which is very efficient and actively developed.