From 62f1bfed99b82bc073c138a00ff9a30bb596d09d Mon Sep 17 00:00:00 2001
From: Adrian Herrera <adrian.herrera02@gmail.com>
Date: Tue, 20 Jul 2021 04:23:26 +0000
Subject: utils: added optimin corpus minimizer

---
 utils/optimin/EvalMaxSAT | 1 +
 1 file changed, 1 insertion(+)
 create mode 160000 utils/optimin/EvalMaxSAT

(limited to 'utils/optimin/EvalMaxSAT')

diff --git a/utils/optimin/EvalMaxSAT b/utils/optimin/EvalMaxSAT
new file mode 160000
index 00000000..440bf90e
--- /dev/null
+++ b/utils/optimin/EvalMaxSAT
@@ -0,0 +1 @@
+Subproject commit 440bf90edf88f6ab940934129e3c5b3b93764295
-- 
cgit 1.4.1