Einstein's riddle
This is an exercise in SAT (based on [1]), specifically using SAT solver to crack the Einstein's riddle.
It will have a hardcoded "board", which would have 5 hardcoded columns and rows ( 5 people vs their respective houses colour, pet, beverage, cigarette brand and nationality). In the end this might be expanded to support arbitrary columns.
The solver will also have hardcoded statements about the 5 people, but ultimately should support some simple plain text syntax to modify the constraints.
[1] Modern SAT solvers: fast, neat and underused (part 1 of N) by Martin Hořeňovský Aug 3rd 2018 https://codingnest.com/modern-sat-solvers-fast-neat-underused-part-1-of-n/