This is an Akari Puzzle Solver, which mainly based on Depth-First-Search and branch cut. in order to run more efficiently, I add some logic deduction in my code, it can solve a big area of the puzzle in some cases which is absolutely right. It's actually a kind of dynamic programming.