Murdering Cheryl: How to generate and solve logical deduction problemsnbviewer.jupyter.org1 pointjawns10 years ago