Python tool for solving Einstein (zebra) puzzles using constraints.
Primary LanguagePythonMIT LicenseMIT