From 05d3a88cf011b37eab423669a040edab1d41021e Mon Sep 17 00:00:00 2001
From: Sankalp Gambhir <sankalp.gambhir47@gmail.com>
Date: Wed, 9 Aug 2023 10:26:19 +0200
Subject: [PATCH] Update SMT and CASC links

---
 usage.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/usage.html b/usage.html
index 2989403..2a604d6 100644
--- a/usage.html
+++ b/usage.html
@@ -37,11 +37,11 @@ <h2>Basic Usage</h2>
 <code>
 vampire --mode casc_sat -t 300 problem.p 
 </code>
-which will use a set of strategies suited to satisfiable problems (as entered into the most recent <a href="http://www.cs.miami.edu/~tptp/CASC/">CASC</a> competition).
+which will use a set of strategies suited to satisfiable problems (as entered into the most recent <a href="https://www.tptp.org/CASC/">CASC</a> competition).
 </p>
 
 <p>
-Finally, if your problem is in <a href="http://smtlib.cs.uiowa.edu/">SMT-LIB</a> format you can run
+Finally, if your problem is in <a href="https://smtlib.cs.uiowa.edu/">SMT-LIB</a> format you can run
 <code>
 vampire --input_syntax smtlib2 problem.smt2 
 </code>
@@ -49,7 +49,7 @@ <h2>Basic Usage</h2>
 <code>
 vampire --mode smtcomp problem.p 
 </code>
-to use the latest <a href="http://smtcomp.sourceforge.net/">SMT-COMP</a> schedule, which automatically selects the appropriate input language.
+to use the latest <a href="https://smt-comp.github.io/">SMT-COMP</a> schedule, which automatically selects the appropriate input language.
 </p>
 
 <p>