Commit 7de6cc44 authored by Pierre-Antoine Rouby's avatar Pierre-Antoine Rouby
Browse files

Solver: RubarBE: Disable.

No related merge requests found
Pipeline #55363 passed with stages
in 3 minutes and 27 seconds
Showing with 2 additions and 2 deletions
+2 -2
...@@ -31,7 +31,7 @@ solver_long_name = { ...@@ -31,7 +31,7 @@ solver_long_name = {
# "mage7": "Mage v7", # "mage7": "Mage v7",
"mage8": "Mage v8", "mage8": "Mage v8",
# "mage_fake7": "Mage fake v7", # "mage_fake7": "Mage fake v7",
"rubarbe": "RubarBE", # "rubarbe": "RubarBE",
} }
solver_type_list = { solver_type_list = {
...@@ -39,5 +39,5 @@ solver_type_list = { ...@@ -39,5 +39,5 @@ solver_type_list = {
# "mage7": Mage7, # "mage7": Mage7,
"mage8": Mage8, "mage8": Mage8,
# "mage_fake7": MageFake7, # "mage_fake7": MageFake7,
"rubarbe": RubarBE, # "rubarbe": RubarBE,
} }
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment