<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> There are at least 100 redundant tutorials when you want to solve Sudoku or one of those "Dr Brown refuses to live on the same street as the Professor of Linguistics etc etc" puzzles. </p><p>Then of course there is almost no documentation to help you when you reach the point where you try your first quantifiers and have your solver time out forever with zero explanation.</p>
