-diff -ruN quantor-3.2/config.h quantor3.2_ipasir/config.h
---- quantor-3.2/config.h	1970-01-01 01:00:00.000000000 +0100
-+++ quantor3.2_ipasir/config.h	2016-04-06 19:52:28.587705666 +0200
-@@ -0,0 +1,39 @@
-+#ifndef QUANTOR_config_h_INCLUDED
-+#define QUANTOR_VERSION "3.2 (IPASIR patch)"
-+#ifndef NDEBUG
-+#define NDEBUG
-+#endif
-+#define QUANTOR_LOG0
-+#define QUANTOR_LOG1
-+#define QUANTOR_LOG2
-+#define QUANTOR_STATS0
-+#define QUANTOR_STATS1
-+#define QUANTOR_FAST_ALLOC
-+#define QUANTOR_HAVE_DOUBLE_PRECISION_INT
-+typedef long DPI;
-+typedef unsigned long Word;
-+typedef unsigned Signature;
-+#define QUANTOR_LIT_ALIGNMENT 32
-+#define QUANTOR_COMPILE_TIME_OPTIONS \
-+"version             3.2 (IPASIR patch)\\n" \
-+"debug               no\\n" \
-+"check               no\\n" \
-+"log                 yes\\n" \
-+"loglevel            2\\n" \
-+"stats               yes\\n" \
-+"statslevel          1\\n" \
-+"CC                  gcc\\n" \
-+"CCVERSION           4.9.2\\n" \
-+"CFLAGS              -Wall -W -O3 -DNDEBUG -fno-strict-aliasing\\n" \
-+"solver              \\n" \
-+"qbfeval             no\\n" \
-+"havedpi             yes\\n" \
-+"DPI                 long\\n" \
-+"Word                unsigned long\\n" \
-+"sig                 32\\n" \
-+"sigref              no\\n" \
-+"Signature           unsigned\\n" \
-+"litalign            32\\n" \
-+"fastalloc           yes\\n" \
-+""
-+#endif
-diff -ruN quantor-3.2/configure quantor3.2_ipasir/configure
---- quantor-3.2/configure	2014-10-26 10:40:21.000000000 +0100
-+++ quantor3.2_ipasir/configure	2016-04-06 19:52:21.791784097 +0200
+Description: Make Quantor to interface its SAT solver as a
+	     statically or dynamically linked IPASIR implementation.
+Reference:   http://fmv.jku.at/quantor/quantor-3.2.tar.gz
+Author: Thomas B. Preußer <thomas.preusser@utexas.edu>
+Apply: ../quantor-3.2> patch -p1 < ../quantor-3.2_ipasir.patch
+Last-Update: 2016-04-06
+===================================================================
+Index:  configure.sh
+        ipasir_dummy.c
+        ipasir.h
+        Makefile.in
+	quantor.c
+	quantor.h
+	VERSION
+
+--- quantor-3.2/configure
++++ quantor3.2_ipasir/configure
 @@ -18,7 +18,7 @@
  stats=yes
  statslevel=undefined

 cto "qbfeval" "$qbfeval"
 cto "havedpi" "$havedpi"
 [ $havedpi = yes ] && \
diff -ruN quantor-3.2/ipasir_dummy.c quantor3.2_ipasir/ipasir_dummy.c
--- quantor-3.2/ipasir_dummy.c	1970-01-01 01:00:00.000000000 +0100
+++ quantor3.2_ipasir/ipasir_dummy.c	2016-04-05 14:42:41.912289219 +0200
@@ -0,0 +1,9 @@
+#include "ipasir.h"
+#include "stdlib.h"

 
 /*------------------------------------------------------------------------*/
 
--- quantor-3.2/VERSION
+++ quantor3.2_ipasir/VERSION
@@ -1 +1 @@
-3.2
+3.2 (IPASIR patch)
