Add gitignore for picosat

diff --git a/scripts/picosat-959/.gitignore b/scripts/picosat-959/.gitignore
new file mode 100644 (file)
index 0000000..829187e
--- /dev/null
+++ b/scripts/picosat-959/.gitignore
@@ -0,0 +1,8 @@
+config.h
+libpicosat.a
+makefile
+picogcnf
+picomcnf
+picomus
+picosat
+picomcs