Test-adding mini-sat for #423

Raku · Dec 28, 2018 · a68096f · a68096f
1 parent cc3e46d
commit a68096f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/META.list b/META.list
@@ -901,4 +901,5 @@ https://raw.githubusercontent.com/Kaiepi/p6-Net-LibIDN2/master/META6.json
 https://raw.githubusercontent.com/Kaiepi/p6-Digest-BubbleBabble/master/META6.json
 https://raw.githubusercontent.com/Kaiepi/p6-Crypt-CAST5/master/META6.json
 https://raw.githubusercontent.com/taboege/p6-SAT/master/META6.json
+https://raw.githubusercontent.com/taboege/p6-SAT-Solver-MiniSAT/master/META6.json
 https://raw.githubusercontent.com/finanalyst/pod-render/master/META6.json