GitHub repository: pholser/minizinc-python-puzzles
Primary language: Python
Created: 2020-05-10T22:48:23Z
Description: Solving problems using MiniZInc's Python interface