validations

sat-heritage · Mar 2, 2020 · b3b0551 · b3b0551
1 parent 04962cc
commit b3b0551
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/2013/solvers.json b/2013/solvers.json
@@ -66,6 +66,7 @@
         "name": "GlucoRed"
     },
     "glucose": {
+        "status": "ok",
         "args": [
             "FILECNF"
         ],

diff --git a/2016/solvers.json b/2016/solvers.json
@@ -51,6 +51,7 @@
         ]
     },
     "glucose-3_ts0": {
+        "status": "ok",
         "call": "./glucose",
         "name": "glucose_hack_kiel_newScript",
         "gz": true,