GitHub repository: FelixHoffmannLeanIX/PuzzleSolver
Primary language: Java
Created: 2017-03-26T18:18:20Z
Description: App to solve puzzles