首页 > TAG信息列表 > unlocked

sat-solver常见编译错误

1.MapleCOMSPS_LRB_VSIDS 1 /cygdrive/d/studySAT2022_06/MapleCOMSPS_LRB_VSIDS_no_drup/MapleCOMSPS_LRB_VSIDS/simp/Main.cc:43: undefined reference to `Minisat::memUsedPeak()'collect2: error: ld returned 1 exit status   改正: 在main.c文件中mem_used的赋值将