Took a while. Part 1 was straightforward using a kind of probabilistic search, but I needed to redo part 2 from scratch to use literal backtracking search algorithms to generate a proper map.
Then filling it was easy as a second phase.
ferd
Author of Property-Based Testing with PropEr, LYSE, & Erlang in Anger
0