Question about how to link other libs?
for-just-we opened this issue · comments
Hi, author. Recently I tried to integrate machine learning based search strategy learch learch into klee-2.3. But I came across one problem.
I reimplement learch with libtorch (Which is C++ lib for pytorch) instead of interact with python. Which require me to link libraries in libtorch.
The libtorch code is only used in Searcher.h and Searcher.cpp. In another way, I only include header files in Searcher.h and Searcher.cpp. So how should I modify CMakeList.txt to correctly use libtorch?
We would need more detailed info to reproduce this problem. Please reopen this issue if it is still relevant.