2013-11-26から1日間の記事一覧
$ cd minisat/core $ gmake rsLinking: minisat ( /Users/~/Downloads/minisat/core/Main.o /Users/~/Downloads/minisat/core/Solver.o ) Undefined symbols for architecture x86_64: "Minisat::memUsedPeak()", referenced from: printStats(Minisat::Solv…