Solver: Disable mage fake 7.

This commit is contained in:
Pierre-Antoine Rouby committed 2024-04-03 17:48:09 +02:00
1 parent faab0d78cf
commit b209547a5b
2 files changed
+19 -9

No files matched your search

+2 -2
View File
@@ -29,12 +29,12 @@ solver_long_name = {
# "generic": "Generic",
# "mage7": "Mage v7",
"mage8": "Mage v8",
"mage_fake7": "Mage fake v7",
# "mage_fake7": "Mage fake v7",
}
solver_type_list = {
# "generic": GenericSolver,
# "mage7": Mage7,
"mage8": Mage8,
"mage_fake7": MageFake7,
# "mage_fake7": MageFake7,
}