Added cl-smt-lib per issue #1730

quicklisp · quicklisp · commit cf7cc303212b · 2019-09-16T12:25:26.000-04:00
diff --git a/projects/cl-smt-lib/source.txt b/projects/cl-smt-lib/source.txt
@@ -0,0 +1 @@
+git https://github.com/GrammaTech/cl-smt-lib.git

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+git https://github.com/GrammaTech/cl-smt-lib.git`