Hitori Solver Application - repost

Project title: HITORI Solver List of requirements (objectives): Essential • Develop a tool that allows a user to enter the puzzle and also to solve the puzzle manually. • Tool must be developed in such a way that puzzle can be solved automatically • Tool should also be able to assist in the creation of new puzzles. • Basic formula should be translated into propositional formula, where the particular solver makes the formula true and translates back to a puzzle solution. Recommended • SAT-solving techniques can be used to develop this type of tools very efficiently and in a friendly user way. • This puzzles can be tackled in a generic way with help of SAT solvers. • Brute force method can also be used to develop this type of tool. Optional • Multiplayer competitive functionality. • A fully functional stand-alone application with all the above mentioned functionalities.