Gecode 5.0.0

2016-12-10 03:09:59 -06:00
parent 45a54e2b04
commit 82ad65a344
17 changed files with 18711 additions and 3424 deletions
--- a/packages/gecode/dev/Makefile
+++ b/packages/gecode/dev/Makefile
@@ -0,0 +1,5 @@
+all:
+	python code-generator.py
+
+clean:
+	-rm -f *~ *.pyc