diff --git a/src/Solver/Solvers.py b/src/Solver/Solvers.py index c173588fffeaf0a80e767423e3cdf3c4d2002204..cd336e6893844bea97858e1c88cc1a540b2d4c18 100644 --- a/src/Solver/Solvers.py +++ b/src/Solver/Solvers.py @@ -31,7 +31,7 @@ solver_long_name = { # "mage7": "Mage v7", "mage8": "Mage v8", # "mage_fake7": "Mage fake v7", - "rubarbe": "RubarBE", + # "rubarbe": "RubarBE", } solver_type_list = { @@ -39,5 +39,5 @@ solver_type_list = { # "mage7": Mage7, "mage8": Mage8, # "mage_fake7": MageFake7, - "rubarbe": RubarBE, + # "rubarbe": RubarBE, }