From 1878d64b02b0c977e0cff2fafb95e8afcd3441b9 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 28 Oct 2013 21:32:41 -0700
Subject: [PATCH] working on weighted maxsat

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/opt/weighted_maxsat.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/opt/weighted_maxsat.cpp b/src/opt/weighted_maxsat.cpp
index 6ec5c4ead..fc14a0b64 100644
--- a/src/opt/weighted_maxsat.cpp
+++ b/src/opt/weighted_maxsat.cpp
@@ -166,6 +166,9 @@ namespace opt {
         }
         lbool result = s.check_sat_core(0,0);
         wth->get_assignment(soft_constraints);
+        if (!soft_constraints.empty() && result == l_false) {
+            result = l_true;
+        }
         return result;
     }
 };