Unable to open the PDF of slides in SMT comp 2023 #34
Description
https://github.com/SMT-COMP/smt-comp.github.io/blob/master/2023/slides-smtworkshop.pdf reports the error: Invalid PDF, and the file size is only 2.78KB.
{{ message }}
https://github.com/SMT-COMP/smt-comp.github.io/blob/master/2023/slides-smtworkshop.pdf reports the error: Invalid PDF, and the file size is only 2.78KB.