Hi,
Myself and @lollospadalaser are interested in using a QBF solver that supports the QCIR format. Given the results of last year's QBFGallery we decided to try quabs, but ran into a problem. We would appreciate any insight into this you could provide us.
When following the build instructions on a Linux machine (we tried on Ubuntu 20.04 and Mint 21.2) we get the following message:
/usr/bin/ld: attempted static link of dynamic object `/usr/lib/libboost_program_options.so.1.85.0'
collect2: error: ld returned 1 exit status
make[5]: *** [cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make:132: cryptominisat5] Error 1
make[4]: *** [CMakeFiles/Makefile2:202: cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all] Error 2
make[3]: *** [Makefile:136: all] Error 2
make[2]: *** [libsolve/src/CMakeFiles/cmsat.dir/build.make:85: libsolve/src/cmsat-prefix/src/cmsat-stamp/cmsat-build] Error 2
make[1]: *** [CMakeFiles/Makefile2:405: libsolve/src/CMakeFiles/cmsat.dir/all] Error 2
make: *** [Makefile:91: all] Error 2
We thought it might be the Boost version, but even with 1.85 the problem persists. Building on a macOS 14.5 worked without problem.
Hi,
Myself and @lollospadalaser are interested in using a QBF solver that supports the QCIR format. Given the results of last year's QBFGallery we decided to try quabs, but ran into a problem. We would appreciate any insight into this you could provide us.
When following the build instructions on a Linux machine (we tried on Ubuntu 20.04 and Mint 21.2) we get the following message:
We thought it might be the Boost version, but even with 1.85 the problem persists. Building on a macOS 14.5 worked without problem.