GitHub repository: HelgeS/JMiniZinc
Primary language: Java
Description: JMiniZinc