From 5a0d3c3f29dd9d5c021fc7fee96540a6abe6131b Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Thu, 3 Jul 2014 10:54:52 +0200 Subject: New algorithm for variable ordering based on FORCE. --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 4483b8c..d6413c0 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,7 @@ # Temporary files of text editors *.swp *~ +tags # Tests : KCG & C build products tests/kcg -- cgit v1.2.3