diff --git a/docs/minisat.pdf b/docs/minisat.pdf
new file mode 100644
index 00000000..21de5cdf
Binary files /dev/null and b/docs/minisat.pdf differ