GitHub repository: mishanius/kakuro-pazel-solver-using-sat-solver
Primary language: Java
Description: Solving the kakuro puzle using sat4j