streak-hunting-spreadsheet/endgames.py

import json
import re
import subprocess
from typing import Dict

from pathlib import Path
DATA_FILE = Path('endgame-data.json')

if not DATA_FILE.exists():
    DATA_FILE.write_text('{}')


with open(DATA_FILE, 'r') as f:
    DATA: Dict = json.loads(f.read())


def analyze_game(game_id: int):
    probabilities = {}
    raw_output = None
    try:
        result = subprocess.run(['./endgame-analyzer', '-g', str(game_id), '-d', '16', '--interactive', '0', '--quiet', '-r'], stdout=subprocess.PIPE, timeout=30)
        raw_output = result.stdout
    except subprocess.TimeoutExpired as time_err:
        raw_output = time_err.stdout
    output = raw_output.decode('utf-8')

    # Check if the game was just over before reaching the specified draw pile size
    if re.match("This given draw pile size \(.*\) cannot be obtained with the specified replay.", output):
        for i in range(0,16):
            probabilities[str(i)] = 0
            return probabilities

    # Now, parse all results that we obtained (unclear how many depending on whether we ran into the timeout)
    for m in re.finditer('Probability with ([0-9]+) cards left in the deck: .*/.* ~ ([0-9.]+)', output):
        probabilities[str(m.group(1))] = m.group(2)

    return probabilities


def full_analyze_game(game_id: int):
    probabilities = {}
    try:
        result = subprocess.run(['./endgame-analyzer', '-g', str(game_id), '-d', str(10), '-i', '0', '--all-clues', '-r', '--quiet'], stdout=subprocess.PIPE, timeout=180)
    except subprocess.TimeoutExpired:
        return probabilities
    output = result.stdout.decode('utf-8')
    print(output)
    for m in re.finditer('Probability with ([0-9]+) cards left in deck and [0-8] clues \((.[0-8])\).*: .*/.* ~ ([0-9.]*)', output):
        if m.group(1) not in probabilities.keys():
            probabilities[m.group(1)] = {}
        probabilities[m.group(1)][m.group(2)] = m.group(3)
    return probabilities


def full_analyze_game_cached(game_id: int):
    cached = DATA.get('all', {}).get(str(game_id), None)
    if cached is not None:
        return cached
    result = full_analyze_game(game_id)
    if 'all' not in DATA.keys():
        DATA['all'] = {}
    DATA['all'][game_id] = result
    save_cache()
    return result

def analyze_game_cached(game_id: int):
    cached = DATA['normal'].get(str(game_id), None)
    if cached is not None:
        return cached
    result = analyze_game(game_id)
    DATA['normal'][game_id] = result
    save_cache()
    return result


def save_cache():
    with open(DATA_FILE, 'w') as f:
        f.writelines(json.dumps(DATA, indent=2))