edits

diff --git a/src/Encoders/orderencoder.c b/src/Encoders/orderencoder.c
index b5850b12ca22949e19beba01ae7fb33435e48ef6..084995b1126b4823c93eae99da7e0fc8432cbfa8 100644 (file)
--- a/src/Encoders/orderencoder.c
+++ b/src/Encoders/orderencoder.c
@@ -329,7 +329,9 @@ void localMustAnalysisPartial(CSolver *solver, OrderGraph *graph) {
                if (edge->mustPos) {
                        if (!edge->mustNeg) {
                                edge->polNeg = false;
-                       }
+                       } else
+                               solver->unsat = true;
+
                        OrderEdge *invEdge = getInverseOrderEdge(graph, edge);
                        if (invEdge != NULL) {
                                if (!invEdge->mustPos)