adjust seed solving code

This commit is contained in:
Maximilian Keßler 2024-03-18 14:02:48 +01:00
parent 9ef1add7ab
commit 247576da0e
Signed by: max
GPG key ID: BCC5A619923C0BA5

View file

@ -93,9 +93,8 @@ mutex = threading.Lock()
def solve_instance(instance: hanab_game.HanabiInstance): def solve_instance(instance: hanab_game.HanabiInstance):
# first, sanity check on running out of pace # first, sanity check on running out of pace
result = deck_analyzer.analyze(instance) result = deck_analyzer.analyze(instance)
if result is not None: if len(result) != 0:
assert type(result) == deck_analyzer.InfeasibilityReason logger.info("found infeasible deck by foreward analysis")
logger.debug("found infeasible deck")
return False, None, None return False, None, None
for num_remaining_cards in [0, 20]: for num_remaining_cards in [0, 20]:
# logger.info("trying with {} remaining cards".format(num_remaining_cards)) # logger.info("trying with {} remaining cards".format(num_remaining_cards))