diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..b5fe37e
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,11 @@
+cudd
+*.a
+*.o
+location.hh
+main
+makefile.dep
+position.hh
+rsin_parser.cc
+rsin_parser.hh
+rsin_parser.lex.cc
+stack.hh
diff --git a/cudd_local/cudd/libcudd.a b/cudd_local/cudd/libcudd.a
deleted file mode 100644
index 1530d87..0000000
Binary files a/cudd_local/cudd/libcudd.a and /dev/null differ
diff --git a/cudd_local/dddmp/libdddmp.a b/cudd_local/dddmp/libdddmp.a
deleted file mode 100644
index 4f197e5..0000000
Binary files a/cudd_local/dddmp/libdddmp.a and /dev/null differ
diff --git a/cudd_local/epd/libepd.a b/cudd_local/epd/libepd.a
deleted file mode 100644
index 5d27279..0000000
Binary files a/cudd_local/epd/libepd.a and /dev/null differ
diff --git a/cudd_local/mtr/libmtr.a b/cudd_local/mtr/libmtr.a
deleted file mode 100644
index f4eebd6..0000000
Binary files a/cudd_local/mtr/libmtr.a and /dev/null differ
diff --git a/cudd_local/obj/libobj.a b/cudd_local/obj/libobj.a
deleted file mode 100644
index 02a0201..0000000
Binary files a/cudd_local/obj/libobj.a and /dev/null differ
diff --git a/cudd_local/st/libst.a b/cudd_local/st/libst.a
deleted file mode 100644
index 5a7102d..0000000
Binary files a/cudd_local/st/libst.a and /dev/null differ
diff --git a/cudd_local/util/libutil.a b/cudd_local/util/libutil.a
deleted file mode 100644
index d042288..0000000
Binary files a/cudd_local/util/libutil.a and /dev/null differ