The Einstein's Puzzle is a well-known logic puzzle. It is often called Einstein's Puzzle because it is said to have been invented by Albert Einstein as a boy. However, there is no known evidence for Einstein's or Carroll's authorship. This puzzle can be modified with various conditions to produce a variety of similar puzzles. For starters, we will solve a simplified version of the puzzle.
There are 5 houses on street which are painted 5 different colors:
In each house lives a person of a different nationality: Brit , Dane , German , Norwegian and Swede .
These people drink a certain beverage: beer , coffee , milk , tea and water .
Smoke a certain brand of cigarettes: Rothmans , Dunhill , PallMall , Winfield and Marlboro .
They keep a certain pet: cat , bird , dog , fish and horse .
None of the owners have the same pet, smoke the same brand of cigarette, or drink the same beverage.
You are given a set of "relations". Each relation connects two identifiers in the owner relationships. For example: "Norwegian-Dunhill"...
CheckiO Extensions allow you to use local files to solve missions. More info in a blog post.
In order to install CheckiO client you'll need installed Python (version at least 3.8)
Install CheckiO Client first:
pip3 install checkio_client
Configure your tool
checkio --domain=py config --key=
Sync solutions into your local folder
(in beta testing) Launch local server so your browser can use it and sync solution between local file end extension on the fly. (doesn't work for safari)
checkio serv -d
Alternatevly, you can install Chrome extension or FF addon
checkio install-plugin --ff
checkio install-plugin --chromium