No such header exists in the tarball from here: https://es-static.fbk.eu/people/griggio/misc/smtlib2parser.html https://github.com/zhanghongce/smtlib2parser/blob/b1eeaf767de1136371b39f281d07fb277da10bf8/include/smtlib2yices.h#L33
No such header exists in the tarball from here: https://es-static.fbk.eu/people/griggio/misc/smtlib2parser.html
smtlib2parser/include/smtlib2yices.h
Line 33 in b1eeaf7