Einstein’s Riddle Solved

The previous post posed Einstein’s Riddle and supplied a class diagram to abstract the information.

Here is the solution in BridgePoint running Verifier.  In the Session Explorer to the left, you can see the instances of ‘owner’ and the links to the correct instances of each of ‘house’, ‘pet’, ‘tobacco’ and ‘beverage’.

einstein_sim1-2190810

Here is a cell-phone pic of my hand-scratched notes…

einstein_houses-3562285

Related Articles
Dear Modelers, Significant progress has been made on a specifications of textual xtUML and separately…
At xtUML Days 2020 UK, Marc Balcer explained model-driven test case generation with TAME.
BridgePoint is Open Source Software (OSS). It is free. However, OSS is not free like…