From b39b55e885fd72750ad087abbb6558b0a4dcf2ac Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 13 Aug 2017 13:37:36 +0700
Subject: Adding a callback feature to Satoko.

---
 src/sat/satoko/solver.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/satoko/solver.c')

diff --git a/src/sat/satoko/solver.c b/src/sat/satoko/solver.c
index a72e39f7..f7cfb011 100644
--- a/src/sat/satoko/solver.c
+++ b/src/sat/satoko/solver.c
@@ -639,7 +639,7 @@ char solver_search(solver_t *s)
             /* No conflict */
             unsigned next_lit;
 
-            if (solver_rst(s) || solver_check_limits(s) == 0) {
+            if (solver_rst(s) || solver_check_limits(s) == 0 || solver_stop(s)) {
                 b_queue_clean(s->bq_lbd);
                 solver_cancel_until(s, 0);
                 return SATOKO_UNDEC;
-- 
cgit v1.2.3