Vamshi Jandhyala
About me Blog Miscellany Reading Tags
Tag: #puzzles
  • Solving 3-In-A-Row using Z3
    Using the fantastic Z3 for fun.
  • Beside the point
    A wonderful geometric probability puzzle from Jane Street.
  • Bug Byte
    A fiendish puzzle from Jane Street.
  • Solving Calcudoku using Z3
    Using the fantastic Z3 for fun.
  • Dodecahedron Quintomino puzzle
    A beautiful puzzle from John Conway.
  • Dancer pairs
    A wonderful combinatorics puzzle from Jane Street.
  • Running Total of a Die
    Solved using two different approaches.
  • Who owns the fish?
    Using the fantastic Z3 for fun.
  • Flowfree
    Solution using constraint programming.
  • Solving the Jumping Julia Maze
    A step by step guid using Python's NetworkX library.
  • Solving Kakurasu using Z3
    Using the fantastic Z3 for fun.
  • Solving Kakuro using Z3
    Using the fantastic Z3 for fun.
  • Langford problem
    Three different solutions.
  • Number Hooks
    Using the fantastic Z3 to solve a nice puzzle from Jane Street.
  • Solving Numbrix using Z3
    Using the fantastic Z3 for fun.
  • A Prime Sum Circle
    And related puzzles solved using Graph Theory
  • Riddle of the pilgrims
    Solution using integer programming.
  • Rolling Cube
    A beautiful puzzle from John Harris.
  • Solving Skyscrapers using Z3
    Using the fantastic Z3 for fun.
  • Some Off Square
    Solved using two different approaches.
  • Solving Squares Sudoku using Z3
    Using the fantastic Z3 for fun.
  • Linkedin Tango Puzzle
    Solving using the fantastic Z3 library.
© 2025 • Vamshi Jandhyala 👀
Built with Astro