Я пытаюсь настроить MaxHS SAT Solver из этого репозитория git — https://github.com/fbacchus/MaxHS.
Я получаю сообщение об ошибке «/ 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
Связывание двоичных файлов: сборка / выпуск / bin / maxhs
/ usr / bin / ld: не удается найти -lcplex
Это говорит о том, что компоновщик не может найти libcplex.so
Вам нужно дать путь к этой библиотеке что-то вроде -L / pathtolibrary
Других решений пока нет …