GitHub repository: mishanius/KakuroWithSat
Primary language: Java
Created: 2019-07-28T21:03:23Z
Description: Solving the kakuro puzle using sat4j