tschady / advent-of-code

Advent of Code with Clojure: 2015 - 2023
26 stars 2 forks source link

Solve 2020 day 20 #33

Closed tschady closed 2 years ago

tschady commented 2 years ago

I tried and gave up on core.logic after realizing that the search space was giant (membero is slow), and there was exactly one solution.

This needs to be cleaned up, there's lots of redundancy and the data structure is far more involved than necessary.

TODO: re-use the rotations code (handling discrepancy between strings and seqs)