search

stanford-centaur / smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Other
114 stars 43 forks source link

smtlibparser.h header file missing #329

Open PinkFrojdSenjak opened 1 year ago

PinkFrojdSenjak commented 1 year ago

I am trying to include smtlib_reader.h header file in my project and when compiling, I get a compilation error that smtlibparser.h header file is missing. And indeed, I couldn't find it in the repo directory. What is the appropriate way to approach this? I have installed the needed dependencies for parser, "flex" and "bison". I ran the following command g++ -o my_program main.cpp -Ismt-switch/include -Lsmt-switch/build -lsmt-switch and got this error message:

Screenshot 2023-09-04 at 17 37 39
kunalsheth commented 1 year ago

What commands did you use to configure and build smt-switch? Did you pass --smtlib-reader to ./configure.sh ?