Added cl-cudd per issue #1270

xach · xach · commit 0ac49f0a3392 · 2017-03-31T14:59:29.000-04:00
diff --git a/projects/cl-cudd/source.txt b/projects/cl-cudd/source.txt
@@ -0,0 +1 @@
+git https://github.com/guicho271828/CL-CUDD.git

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+git https://github.com/guicho271828/CL-CUDD.git`