Posts for year 2020 2020-04-27 23:22Solving Mastermind-like Problems Using Z3 Theorem Prover 2020-04-10 22:25A puzzle from New Scientist