From eb924c41bc15bbefabaf34d0760963c79e883599 Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Sat, 3 Feb 2018 20:59:14 +0000 Subject: New port: math/glucose: Parallel SAT solver based on Minisat, with glue clauses See the full description here: http://www.labri.fr/perso/lsimon/glucose/ Patches and build warnings were reported to the authors. Submitted by: myself Approved by: adamw (mentor) Differential Revision: https://reviews.freebsd.org/D14156 --- math/glucose/files/patch-utils_System.cc | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 math/glucose/files/patch-utils_System.cc (limited to 'math/glucose/files/patch-utils_System.cc') diff --git a/math/glucose/files/patch-utils_System.cc b/math/glucose/files/patch-utils_System.cc new file mode 100644 index 000000000000..3a4d189a61f7 --- /dev/null +++ b/math/glucose/files/patch-utils_System.cc @@ -0,0 +1,11 @@ +--- utils/System.cc.orig 2018-02-01 09:11:32 UTC ++++ utils/System.cc +@@ -78,7 +78,7 @@ double Glucose::memUsed(void) { + struct rusage ru; + getrusage(RUSAGE_SELF, &ru); + return (double)ru.ru_maxrss / 1024; } +-double MiniSat::memUsedPeak(void) { return memUsed(); } ++//double MiniSat::memUsedPeak(void) { return memUsed(); } + + + #elif defined(__APPLE__) -- cgit v1.2.3