C++ APIΒΆ
Include <stp/stp.hpp> and link against libstp. C++17 is required.
The header makes the names in stp::api available directly in stp: for example, write stp::Solver and stp::TermManager.
Include <stp/stp.hpp> and link against libstp. C++17 is required.
The header makes the names in stp::api available directly in stp: for example, write stp::Solver and stp::TermManager.
