Vamshi Jandhyala
About me Blog Miscellany Reading Tags
Tag: #Z3
  • Solving 3-In-A-Row using Z3
    Using the fantastic Z3 for fun.
  • Solving Calcudoku using Z3
    Using the fantastic Z3 for fun.
  • Who owns the fish?
    Using the fantastic Z3 for fun.
  • Solving Kakurasu using Z3
    Using the fantastic Z3 for fun.
  • Solving Kakuro using Z3
    Using the fantastic Z3 for fun.
  • Number Hooks
    Using the fantastic Z3 to solve a nice puzzle from Jane Street.
  • Solving Numbrix using Z3
    Using the fantastic Z3 for fun.
  • Solving a Cryptarithmetic puzzle using Z3
    Using the fantastic Z3 for fun.
  • Solving Skyscrapers using Z3
    Using the fantastic Z3 for fun.
  • 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