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/94744ee5fcbe44d0899c3d37a0b80c06 to your computer and use it in GitHub Desktop.
Save ryantm/94744ee5fcbe44d0899c3d37a0b80c06 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
-
/nix/store/hrqs5mkivazdfrm0kwz12jvkxqgzjfs2-minizinc-ide-2.3.2
└── bin
└── MiniZincIDE
1 directory, 1 file
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment