From 752bba0351fdd91ef6cb993fd5c1f7ff9c0b5c15 Mon Sep 17 00:00:00 2001 From: bdemsky Date: Mon, 21 Aug 2017 14:28:51 -0700 Subject: [PATCH] edits --- src/Encoders/orderencoder.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/Encoders/orderencoder.c b/src/Encoders/orderencoder.c index b5850b1..084995b 100644 --- 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) -- 2.34.1