Added cl-maxsat per issue #1769

quicklisp · quicklisp · commit 0cd62e0c7765 · 2019-12-23T08:24:40.000-05:00
diff --git a/projects/cl-maxsat/source.txt b/projects/cl-maxsat/source.txt
@@ -0,0 +1 @@
+git https://github.com/guicho271828/cl-maxsat.git

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