Add cl-sat.glucose and cl-sat.minisat.

xach · xach · commit 3d36f10ee4a3 · 2016-06-27T10:14:27.000-04:00
diff --git a/projects/cl-sat.glucose/source.txt b/projects/cl-sat.glucose/source.txt
@@ -0,0 +1 @@
+git https://github.com/guicho271828/cl-sat.glucose.git
diff --git a/projects/cl-sat.minisat/source.txt b/projects/cl-sat.minisat/source.txt
@@ -0,0 +1 @@
+git https://github.com/guicho271828/cl-sat.minisat.git

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