From e485dbc59b32e89f9b87c71aa45bd4c651358340 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 5 Apr 2016 08:06:46 +0100
Subject: [PATCH] new experiments

---
 .gitignore | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 966a6bd2a..ee4faed5a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -128,6 +128,7 @@ packages/cplint/L
 
 packages/CLPBN/horus/hcli
 tmp
+Eclipse
 packages/bdd/simplecudd/problogbdd
 trace
 packages/bdd/cudd_config.h
@@ -139,6 +140,7 @@ Release
 Build
 xcode
 Threads
+android
 mxe
 caret
 codelite
@@ -153,4 +155,11 @@ CBlocks
 yPQ	
 *.tmp
 YAP.sublime*
-yap32/CMakeCache.txt
+yap32
+Eclipse
+
+yap-6.3.tags
+
+yap.prj
+
+yap.VITORs-MBP.vsc.pui