DELTA 385495 84 513 SVNp~ 341W15.3 CATEGORIES= math MAINTAINER= 6yearold@gmail.com COMMENT= General-purpose award-winning SAT solver LICENSE= LGPL3 LICENSE_FILE= ${WRKSRC}/LICENSE-LGPL BUILD_DEPENDS= xxd:${PORTSDIR}/editors/vim-lite # for xxd tool LIB_DEPENDS= libboost_program_options.so:${PORTSDIR}/devel/boost-libs USE_GITHUB= yes GH_ACCOUNT= msoos USES= cmake compiler:c++11-lib USE_LDCONFIG= yes CMAKE_ARGS= -DNOMYSQL=1 -DNOM4RI=1 -DPYTHON_EXECUTABLE=0ENDREP DELTA 385495 610 165 SVN& msoos-cryptominisat-4.5.3_GH0.tar.gz) = 114da20e25734dc368dada47afd8cb7d44717f2159ad66d5bac742062fa3eb4c SIZE (msoos-cryptominisat-4.5.3_GH0.tar.gz) = 467221 ENDREP DELTA SVN--- src/dimacsparser.cpp.orig 2015-08-26 23:32:30 UTC +++ src/dimacsparser.cpp @@ -126,7 +126,7 @@ void DimacsParser::readClause(StreamBuff for (;;) { parsed_lit = parseInt(in); if (parsed_lit == 0) break; - var = abs(parsed_lit)-1; + var = std::abs(parsed_lit)-1; if (var >= (1ULL<<28)) { std::cerr << "ERROR! " ENDREP DELTA SVNtvtt--- src/dimacsparser.h.orig 2016-01-05 09:44:15 UTC +++ src/dimacsparser.h @@ -25,6 +25,7 @@ THE SOFTWARE. #define DIMACSPARSER_H #include +#include #include "streambuffer.h" #include "cryptominisat4/cryptominisat.h" ENDREP DELTA 385495 1821 382 SVNm~ y @uZx4 bin/cryptominisat4_simple include/cryptominisat4/cryptominisata lib/libcryptominisat4.so lib/libcryptominisat4.so.4.5 ENDREP DELTA 385495 2216 383 SVN*G x^m]0Fͯ^,:lma~d~ab۽ Lh4bRY7θ,{*%/=NuA*m[`\ Sg޿üW:AM˃ )d<e$`8Q춑~f ) YWo{)38xRXJOȲ5n/b<8BLp }O_h~f^͠㿃I8fc~=TSFJqAM#ODd)4.;]'--P\=GE$W[Y(FwO5);㿟D Yn*($)*0X\=7?e'?ky0KǁV6>$8)ҞcpVG|-g Jҷ0 -^ӶZm