From a68096f7cfbfc3485526975eb53ed65e0b0499bb Mon Sep 17 00:00:00 2001 From: JJ Merelo Date: Fri, 28 Dec 2018 07:54:31 +0100 Subject: [PATCH] Test-adding mini-sat for #423 --- META.list | 1 + 1 file changed, 1 insertion(+) diff --git a/META.list b/META.list index 1b8a6a36..58e6483a 100644 --- 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