boologic Boologic is a logic helper with which puzzles like this: https://en.wikipedia.org/wiki/Zebra_Puzzle can be solved.