Solving logic puzzles with the Z3 SMT Solver and F#. Plus LLM comparison
Please see this write up: https://www.linkedin.com/pulse/investigation-llm-reasoning-capabilities-zebra-puzzles-faisal-waris-qhd0c