diff --git a/run/glucose.run b/run/glucose.run index 71a2f50..9ee51c6 100644 --- a/run/glucose.run +++ b/run/glucose.run @@ -50,6 +50,7 @@ append config { + diff --git a/run/lemon.run b/run/lemon.run index 2e03cd1..1179225 100644 --- a/run/lemon.run +++ b/run/lemon.run @@ -19,6 +19,7 @@ install_config { + diff --git a/run/scip.run b/run/scip.run index 05f319e..854c31e 100644 --- a/run/scip.run +++ b/run/scip.run @@ -20,6 +20,7 @@ install_config { + diff --git a/run/soplex.run b/run/soplex.run index 51bc5ee..637af51 100644 --- a/run/soplex.run +++ b/run/soplex.run @@ -19,6 +19,7 @@ install_config { +