Fix typos in the references of the system description (#10)

- The links to the run scripts link to the 2022 branch (and are broken) - Update the year of references of webpages that have been updated since.
cvc5 · Jul 25, 2023 · c8ac959 · c8ac959
1 parent 5a39a33
commit c8ac959
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/papers/2023/smt-comp-2023.pdf b/papers/2023/smt-comp-2023.pdf