Update SMT{LIB, COMP} and CASC links

vprover / vprover.github.io

Other

0 stars 5 forks source link

Open sankalpgambhir opened 1 year ago

sankalpgambhir commented 1 year ago

Updated SMTCOMP (outdated) and CASC (broken) links to point to their new locations
Updated SMTLIB link to be https for consistency while I was there

sankalpgambhir commented 1 year ago

FIxes #5 , I don't have permission to add it to the PR, it seems.