http://uclid.eecs.berkeley.edu is invalid

[coolcatxxx]

I want to start from the UCLID and the tutorial say I can find UCLID at http://uclid.eecs.berkeley.edu. But it seems that this link is invalid now.

[polgreen]

Hi,

I'm afraid we no longer actively support the original UCLID system. The syntax and features of the original UCLID system are significantly different to UCLID5, so I would recommend you start with UCLID5.

The pre-built binaries for UCLID5 are available here.

You can follow the tutorial using the UCLID5 pre-built binaries.

If there is something specific that you have been able to do with the original UCLID that you find you can't do with UCLID5, please do let us know and we will try to help.

Thank you for filing the issue, I will fix the citation in the tutorial, which should point to this paper on the original UCLID decision procedure.