From fa9ee9befed4b0d0b7ce4209a970ac415fbe9725 Mon Sep 17 00:00:00 2001
From: Alexander Fedotov <soyaxhoya@gmail.com>
Date: Wed, 20 Apr 2016 15:30:20 +0200
Subject: [PATCH] core mode checking added

---
 modelchecker/main.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 6c94363..2b2b602 100644
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -118,7 +118,11 @@ void solve(FILE *inputstream)
                 t = t->next_rel;
                 //ERRPRINT("Satcount: %f\n", sylvan_satcount(new, init->vars.varset));
             }
-
+            double check = sylvan_satcount(sylvan_and(goal->bdd, new), init->vars.varset);
+            if (check > 0){
+                printf("Solution is found after %d iteration(s)!\n", iteration);
+                break;
+            }
         }
     }
     else printf("No solution found!\n");
-- 
2.20.1