 -}
 -#endif
 -
-diff -Naur glucose-syrup-4.1/parallel/SolverConfiguration.cc glucose-syrup/parallel/SolverConfiguration.cc
+diff -Naur glucose-syrup-4.1/parallel/SolverConfiguration.cc ../src/glucose-syrup/parallel/SolverConfiguration.cc
 --- glucose-syrup-4.1/parallel/SolverConfiguration.cc	2016-12-08 13:48:26.000000000 +0100
-+++ glucose-syrup/parallel/SolverConfiguration.cc	1970-01-01 01:00:00.000000000 +0100
++++ ../src/glucose-syrup/parallel/SolverConfiguration.cc	1970-01-01 01:00:00.000000000 +0100
 @@ -1,176 +0,0 @@
 -/***************************************************************************************[SolverConfiguration.cc]
 - Glucose -- Copyright (c) 2009-2014, Gilles Audemard, Laurent Simon

-
--include $(MROOT)/mtl/config.mk
--include depend.mk
diff -Naur glucose-syrup-4.1/parallel/._ClausesBuffer.cc glucose-syrup/parallel/._ClausesBuffer.cc
--- glucose-syrup-4.1/parallel/._ClausesBuffer.cc	2016-12-08 13:48:26.000000000 +0100
+++ glucose-syrup/parallel/._ClausesBuffer.cc	1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-Mac OS X        	2ATTRFFcom.apple.quarantineq/0001;58c8f326;Google\x20Chrome;10BBF0C3-A984-493B-A81C-15122A445A2C
\ No newline at end of file
diff -Naur glucose-syrup-4.1/parallel/._ClausesBuffer.h glucose-syrup/parallel/._ClausesBuffer.h
--- glucose-syrup-4.1/parallel/._ClausesBuffer.h	2016-12-08 13:48:26.000000000 +0100
+++ glucose-syrup/parallel/._ClausesBuffer.h	1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-Mac OS X        	2ATTRFFcom.apple.quarantineq/0001;58c8f326;Google\x20Chrome;10BBF0C3-A984-493B-A81C-15122A445A2C
\ No newline at end of file
diff -Naur glucose-syrup-4.1/parallel/._Main.cc glucose-syrup/parallel/._Main.cc
--- glucose-syrup-4.1/parallel/._Main.cc	2016-12-08 13:48:26.000000000 +0100
+++ glucose-syrup/parallel/._Main.cc	1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-Mac OS X        	2ATTRFFcom.apple.quarantineq/0001;58c8f326;Google\x20Chrome;10BBF0C3-A984-493B-A81C-15122A445A2C
\ No newline at end of file
diff -Naur glucose-syrup-4.1/parallel/._Makefile glucose-syrup/parallel/._Makefile
--- glucose-syrup-4.1/parallel/._Makefile	2016-12-08 13:48:26.000000000 +0100
+++ glucose-syrup/parallel/._Makefile	1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-Mac OS X        	2ATTRFFcom.apple.quarantineq/0001;58c8f326;Google\x20Chrome;10BBF0C3-A984-493B-A81C-15122A445A2C
\ No newline at end of file
diff -Naur glucose-syrup-4.1/parallel/._MultiSolvers.cc glucose-syrup/parallel/._MultiSolvers.cc
--- glucose-syrup-4.1/parallel/._MultiSolvers.cc	2016-12-08 13:48:26.000000000 +0100
+++ glucose-syrup/parallel/._MultiSolvers.cc	1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-Mac OS X        	2ATTRFFcom.apple.quarantineq/0001;58c8f326;Google\x20Chrome;10BBF0C3-A984-493B-A81C-15122A445A2C
\ No newline at end of file
diff -Naur glucose-syrup-4.1/parallel/._MultiSolvers.h glucose-syrup/parallel/._MultiSolvers.h
--- glucose-syrup-4.1/parallel/._MultiSolvers.h	2016-12-08 13:48:26.000000000 +0100
+++ glucose-syrup/parallel/._MultiSolvers.h	1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-Mac OS X        	2ATTRFFcom.apple.quarantineq/0001;58c8f326;Google\x20Chrome;10BBF0C3-A984-493B-A81C-15122A445A2C
\ No newline at end of file
diff -Naur glucose-syrup-4.1/parallel/._ParallelSolver.cc glucose-syrup/parallel/._ParallelSolver.cc
--- glucose-syrup-4.1/parallel/._ParallelSolver.cc	2016-12-08 13:48:26.000000000 +0100
+++ glucose-syrup/parallel/._ParallelSolver.cc	1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-Mac OS X        	2ATTRFFcom.apple.quarantineq/0001;58c8f326;Google\x20Chrome;10BBF0C3-A984-493B-A81C-15122A445A2C
\ No newline at end of file
diff -Naur glucose-syrup-4.1/parallel/._ParallelSolver.h glucose-syrup/parallel/._ParallelSolver.h
--- glucose-syrup-4.1/parallel/._ParallelSolver.h	2016-12-08 13:48:26.000000000 +0100
+++ glucose-syrup/parallel/._ParallelSolver.h	1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-Mac OS X        	2ATTRFFcom.apple.quarantineq/0001;58c8f326;Google\x20Chrome;10BBF0C3-A984-493B-A81C-15122A445A2C
\ No newline at end of file
diff -Naur glucose-syrup-4.1/parallel/._SharedCompanion.cc glucose-syrup/parallel/._SharedCompanion.cc
--- glucose-syrup-4.1/parallel/._SharedCompanion.cc	2016-12-08 13:48:26.000000000 +0100
+++ glucose-syrup/parallel/._SharedCompanion.cc	1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-Mac OS X        	2ATTRFFcom.apple.quarantineq/0001;58c8f326;Google\x20Chrome;10BBF0C3-A984-493B-A81C-15122A445A2C
\ No newline at end of file
diff -Naur glucose-syrup-4.1/parallel/._SharedCompanion.h glucose-syrup/parallel/._SharedCompanion.h
--- glucose-syrup-4.1/parallel/._SharedCompanion.h	2016-12-08 13:48:26.000000000 +0100
+++ glucose-syrup/parallel/._SharedCompanion.h	1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-Mac OS X        	2ATTRFFcom.apple.quarantineq/0001;58c8f326;Google\x20Chrome;10BBF0C3-A984-493B-A81C-15122A445A2C
\ No newline at end of file
diff -Naur glucose-syrup-4.1/parallel/._SolverCompanion.cc glucose-syrup/parallel/._SolverCompanion.cc
--- glucose-syrup-4.1/parallel/._SolverCompanion.cc	2016-12-08 13:48:26.000000000 +0100
+++ glucose-syrup/parallel/._SolverCompanion.cc	1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-Mac OS X        	2ATTRFFcom.apple.quarantineq/0001;58c8f326;Google\x20Chrome;10BBF0C3-A984-493B-A81C-15122A445A2C
\ No newline at end of file
diff -Naur glucose-syrup-4.1/parallel/._SolverCompanion.h glucose-syrup/parallel/._SolverCompanion.h
--- glucose-syrup-4.1/parallel/._SolverCompanion.h	2016-12-08 13:48:26.000000000 +0100
+++ glucose-syrup/parallel/._SolverCompanion.h	1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-Mac OS X        	2ATTRFFcom.apple.quarantineq/0001;58c8f326;Google\x20Chrome;10BBF0C3-A984-493B-A81C-15122A445A2C
\ No newline at end of file
diff -Naur glucose-syrup-4.1/parallel/._SolverConfiguration.cc glucose-syrup/parallel/._SolverConfiguration.cc
--- glucose-syrup-4.1/parallel/._SolverConfiguration.cc	2016-12-08 13:48:26.000000000 +0100
+++ glucose-syrup/parallel/._SolverConfiguration.cc	1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-Mac OS X        	2ATTRFFcom.apple.quarantineq/0001;58c8f326;Google\x20Chrome;10BBF0C3-A984-493B-A81C-15122A445A2C
\ No newline at end of file
diff -Naur glucose-syrup-4.1/parallel/._SolverConfiguration.h glucose-syrup/parallel/._SolverConfiguration.h
--- glucose-syrup-4.1/parallel/._SolverConfiguration.h	2016-12-08 13:48:26.000000000 +0100
+++ glucose-syrup/parallel/._SolverConfiguration.h	1970-01-01 01:00:00.000000000 +0100
@@ -1 +0,0 @@
-Mac OS X        	2ATTRFFcom.apple.quarantineq/0001;58c8f326;Google\x20Chrome;10BBF0C3-A984-493B-A81C-15122A445A2C
\ No newline at end of file
diff -Naur glucose-syrup-4.1/parallel/ClausesBuffer.cc glucose-syrup/parallel/ClausesBuffer.cc
--- glucose-syrup-4.1/parallel/ClausesBuffer.cc	2016-12-08 13:48:26.000000000 +0100
+++ glucose-syrup/parallel/ClausesBuffer.cc	1970-01-01 01:00:00.000000000 +0100
@@ -1,235 +0,0 @@
-/**********************************************************************************[ClausesBuffer.cc]
- Glucose -- Copyright (c) 2009-2014, Gilles Audemard, Laurent Simon

 
     // Search:
     int curr_restarts = 0;
@@ -1794,9 +1724,6 @@
         curr_restarts++;
     }
 
