C++ interface for parsing ys files into formulas

SRI-CSL / yices2

The Yices SMT Solver

https://yices.csl.sri.com/

GNU General Public License v3.0

376 stars 48 forks source link

C++ interface for parsing ys files into formulas #526

Open dyd1024 opened 3 months ago

dyd1024 commented 3 months ago

Hello, I haven't found a direct C++ API interface that can convert Yices Input Language formatted files (.ys) into formulas. Is this functionality not provided?