KenKen Solving with SMT(Satisfiability Modulo Theories)
Budget: ₹1,500 – ₹12,500 INR
In this project, you will write a simple program to translate partially solved KenKen puzzles into SMT-LIB format, which can be passed to a SMT solver such at mathsat to generate solutions. As an additional task, you can write a prettyprinter for puzzles (unsolved and solved).For this project, we will only work with 7x7 puzzles.