According to history Albert Einstein invented these kind of puzzle games. Based on some conclusion rules it should be possible to get the solution only by logical conclusion. These Puzzles can be compared to the Sudoku puzzles as they more or less base on the same mechanisms.
Features:
- Define arbiture sets
- Define conclusion rules
- automated solving
- brute force solving (if rule set is not complete)