Hi all, I recently got to know about the free test generation/fault simulator tool called HITEC/proofs developed by university of illinois. I was wondering whether I will be able to install it on my personal laptop(ubuntu). Here is the webpage: **broken link removed**