我正在尝试从这个 git repo - https://github.com/fbacchus/MaxHS设置 MaxHS SAT 求解器。
我收到一条错误消息，显示“/usr/bin/ld: 找不到 -lcplex”。谁能指导我什么是 lcplex 库以及如何解决这个问题？我的控制台看起来像这样..
install -d /mnt/c/Akhil/Abhyas/CQA/maxhs_installation/include/maxhs
install -d /mnt/c/Akhil/Abhyas/CQA/maxhs_installation/include/minisat
for dir in maxhs/core maxhs/ifaces maxhs/ds maxhs/utils; do \
install -d /mnt/c/Akhil/Abhyas/CQA/maxhs_installation/include/$dir ; \
done
for dir in minisat/mtl minisat/utils minisat/core minisat/simp; do \
install -d /mnt/c/Akhil/Abhyas/CQA/maxhs_installation/include/$dir ; \
done
for h in minisat/mtl/Alg.h minisat/mtl/Map.h minisat/mtl/Alloc.h
minisat/mtl/Vec.h minisat/mtl/Rnd.h minisat/mtl/Sort.h minisat/mtl/IntMap.h
minisat/mtl/Queue.h minisat/mtl/IntTypes.h minisat/mtl/Heap.h
minisat/mtl/XAlloc.h minisat/core/SolverTypes.h minisat/core/Dimacs.h
minisat/core/Solver.h minisat/utils/System.h minisat/utils/ParseUtils.h
minisat/utils/Options.h minisat/simp/SimpSolver.h ; do \
install -m 644 $h /mnt/c/Akhil/Abhyas/CQA/maxhs_installation/include/$h ; \
done
for h in maxhs/core/Bvars.h maxhs/core/Dimacs.h maxhs/core/MaxSolverTypes.h
maxhs/core/Assumptions.h maxhs/core/Wcnf.h maxhs/core/MaxSolver.h
maxhs/ifaces/miniSatSolver.h maxhs/ifaces/GreedySolver.h
maxhs/ifaces/Cplex.h maxhs/ifaces/greedySatSolver.h maxhs/ifaces/muser.h
maxhs/ifaces/SatSolver.h maxhs/ds/Packed.h maxhs/utils/io.h
maxhs/utils/Params.h maxhs/utils/hash.h ; do \
install -m 644 $h /mnt/c/Akhil/Abhyas/CQA/maxhs_installation/include/$h ; \
done
install -d /mnt/c/Akhil/Abhyas/CQA/maxhs_installation/lib
install -m 644 build/release/lib/libmaxhs.a
/mnt/c/Akhil/Abhyas/CQA/maxhs_installation/lib
Linking Binary: build/release/bin/maxhs
/usr/bin/ld: cannot find -lcplex
collect2: error: ld returned 1 exit status
Makefile:155: recipe for target 'build/release/bin/maxhs' failed
make: *** [build/release/bin/maxhs] Error 1