Lobsters have pretty good implementation of this, see this merged advent of code thread, for example: https://lobste.rs/s/3uxtgb/advent_code_2020_promotion_thre

Lobsters have pretty good implementation of this, see this merged advent of code thread, for example: https://lobste.rs/s/3uxtgb/advent_code_2020_promotion_thread https://lobste.rs/s/3uxtgb/advent_code_2020_promotion_thread