/puzzle_solver_using_z3

Primary LanguagePython

Puzzle Solver using Z3

Solved Puzzles

  • Dominosa
  • Nurikabe
  • Shikaku
  • Hashi
  • Light Up
  • Sudoku
    • 3×3
    • 3×4
    • 4×4
    • Sandwitch
  • Slither Link
  • Nonograms
  • Binairo
  • Killer Sudoku
  • Jigsaw Sudoku
  • Kakuro
  • Shakashaka
  • Word search games
  • Futoshiki
  • Skyscrapers
  • Kakurasu
  • Star Battle
  • Tapa
  • Aquarium
  • Stitches
  • Masyu
  • Shingoki
  • Heyawake
  • Hitori
  • Pipes

Requirements