GitHub repository: Dekker1/homebrew-minizinc
Primary language: Ruby
Created: 2020-10-08T23:38:14Z
Description: A Homebrew Tap for MiniZinc solvers