首页 > TAG信息列表 > VSIDS
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的赋值将