Posts about puzzle RSS feed 2021-08-14 18:30Solving a Puzzle Using Picat 2020-04-27 23:22Solving Mastermind-like Problems Using Z3 Theorem Prover 2020-04-10 22:25A puzzle from New Scientist