Interactive Day-of-the-Year computational puzzles solved using SAT solvers. Educational content demonstrating constraint satisfaction and logical reasoning.
With Embedly, you also get embeds from these 1000+ providers.
Supported URL schemes for DOTY Puzzle video embeds.