more structure

marijnheule · Sep 11, 2019 · 4a62230 · 4a62230
1 parent 4a547f8
commit 4a62230
Show file tree

Hide file tree

Showing 11 changed files with 27,724 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,2 +1,5 @@
 # sat-examples
 Simple examples of using SAT solvers
+
+# build
+build the tools using: ./build.sh
diff --git a/build.sh b/build.sh
@@ -0,0 +1,4 @@
+set -x
+gcc tools/drat-trim.c    -O2 -o tools/drat-trim
+gcc tools/color-encode.c -O2 -o tools/color-encode
+