GitHub repository: KR-Project-Group-3/starbattle-mini-zinc
Primary language: Java
Description: A Java implementation of the puzzle game Star Battle, using MiniZinc as modeling language to check solutions