  
  QuantorResult
  quantor_sat (Quantor * quantor)
-diff -ruN quantor-3.2/quantor.h quantor3.2_ipasir/quantor.h
---- quantor-3.2/quantor.h	2014-10-26 10:40:21.000000000 +0100
-+++ quantor3.2_ipasir/quantor.h	2016-04-05 22:33:15.771284832 +0200
+--- quantor-3.2/quantor.h
++++ quantor3.2_ipasir/quantor.h
 @@ -72,6 +72,7 @@
  const char *quantor_id (void);
  const char *quantor_copyright (void);

+void ipasir_set_terminate (void * solver, void * state, int (*terminate)(void * state));
+
+#endif
diff -ruN quantor-3.2/Makefile quantor3.2_ipasir/Makefile
--- quantor-3.2/Makefile	1970-01-01 01:00:00.000000000 +0100
+++ quantor3.2_ipasir/Makefile	2016-04-06 19:52:28.583705713 +0200
@@ -0,0 +1,35 @@
+CC=gcc
+AR=ar
+RANLIB=ranlib
+LIB=libipasir_dummy.so
+DEPLIB=libipasir_dummy.so
+CFLAGS=-Wall -W -O3 -DNDEBUG -fno-strict-aliasing
+all: quantor
+
+# Standalone and static Library
+quantor: main.o libquantor.a $(DEPLIB)
+	$(CC) $(CFLAGS) -o $@ main.o -L. -lquantor $(LIB)
+libquantor.a: quantor.o
+	$(AR) rc $@ $<
+	$(RANLIB) $@
+
+# Object Dependencies
+quantor.o: quantor.c options.c quantor.h config.h ipasir.h
+main.o: main.c quantor.h config.h
+
+options.c: genopts options.sh
+	rm -f $@; ./genopts < options.sh > $@
+
+# Dynamically linked DUMMY Solver (will be referenced by DEPLIB if needed)
+ipasir_dummy.o: CFLAGS += -Wno-unused-parameter -fPIC
+libipasir_dummy.so: ipasir_dummy.o
+	$(CC) $(CFLAGS) -shared -Wl,-soname,libipasir.so -o$@ $<
+
+# Clean up
+clean:
+	rm -f *.o
+	rm -f quantor libquantor.a libipasir_dummy.so
+	rm -f *~ gmon.out cscope.out
+	rm -f *.bbg *.bb *.da *.c.gcov
+	rm -f config.h Makefile options.c
+	rm -f log/*.log
diff -ruN quantor-3.2/Makefile.in quantor3.2_ipasir/Makefile.in
--- quantor-3.2/Makefile.in	2014-10-26 10:45:44.000000000 +0100
+++ quantor3.2_ipasir/Makefile.in	2016-04-06 19:49:04.126064958 +0200
@@ -1,26 +1,34 @@
 CC=@CC@
 AR=@AR@

 cto "qbfeval" "$qbfeval"
 cto "havedpi" "$havedpi"
 [ $havedpi = yes ] && \
--- quantor-3.2/ipasir_dummy.c
+++ quantor3.2_ipasir/ipasir_dummy.c
@@ -0,0 +1,9 @@
+#include "ipasir.h"
+#include "stdlib.h"
