fix wbo parsing

2025-04-16 23:09:12 +02:00
parent 6391391d6f
commit 6381d8d949
1 changed files with 3 additions and 0 deletions
--- a/ortools/sat/opb_reader.h
+++ b/ortools/sat/opb_reader.h
@@ -138,6 +138,9 @@ class OpbReader {
      return;
    }

+    // We ignore the number of soft constraints.
+    if (words[0] == "soft:") return;
+
    if (words[0] == "min:") {
      for (int i = 1; i < words.size(); ++i) {
        const std::string& word = words[i];