Skip to content

Instantly share code, notes, and snippets.

@ryantm

ryantm/-

Created December 8, 2019 18:31
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save ryantm/53470a1d03bc4b6bc03e6a23364314d5 to your computer and use it in GitHub Desktop.
Save ryantm/53470a1d03bc4b6bc03e6a23364314d5 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
-
1056 /nix/store/hrqs5mkivazdfrm0kwz12jvkxqgzjfs2-minizinc-ide-2.3.2/bin
1056 /nix/store/hrqs5mkivazdfrm0kwz12jvkxqgzjfs2-minizinc-ide-2.3.2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment