diff -urpN a/drat-trim.c b/drat-trim.c
--- a/drat-trim.c	2019-07-02 06:26:46.000000000 -0600
+++ b/drat-trim.c	2019-07-12 14:19:29.096507625 -0600
@@ -58,7 +58,7 @@ struct solver { FILE *inputFile, *proofF
       nLemmas, maxRAT, *RATset, *preRAT, maxDependencies, nDependencies, bar, backforce, reduce,
       *dependencies, maxVar, maxSize, mode, verb, unitSize, prep, *current, nRemoved, warning,
       delProof, *setMap, *setTruth;
-    char *coreStr, *lemmaStr;
+    const char *coreStr, *lemmaStr;
     struct timeval start_time;
     long mem_used, time, nClauses, nStep, nOpt, nAlloc, *unitStack, *reason, lemmas, nResolve,
          nReads, nWrites, lratSize, lratAlloc, *lratLookup, **wlist, *optproof, *formula, *proof;  };
@@ -1506,7 +1506,7 @@ void printHelp ( ) {
   printf ("  PROOF       proof file in DRAT format (stdin if no argument)\n\n");
   exit (0); }
 
-int main (int argc, char** argv) {
+int run_drat_trim (int argc, const char** argv) {
   struct solver S;
 
   S.inputFile  = NULL;
diff -urpN a/drat-trim.h b/drat-trim.h
--- a/drat-trim.h	1969-12-31 17:00:00.000000000 -0700
+++ b/drat-trim.h	2019-06-06 07:37:45.737573669 -0600
@@ -0,0 +1,3 @@
+#pragma once
+
+extern int run_drat_trim (int argc, const char **argv);
diff -durpN a/drat-trim-main.c b/drat-trim-main.c
--- a/drat-trim-main.c	1969-12-31 17:00:00.000000000 -0700
+++ b/drat-trim-main.c	2019-06-06 07:38:22.992913292 -0600
@@ -0,0 +1,6 @@
+#include "drat-trim.h"
+
+int main (int argc, char *argv[])
+{
+  return run_drat_trim (argc, (const char **)argv);
+}