MiniZinc: All my public MiniZinc models are now at G12 Subversion repository
All my public MiniZinc models (and data files) are now in the G12 SVN MiniZinc examples repository: http://www.g12.cs.mu.oz.au/mzn, subdirectory hakank/.
The file hakank/README states the following:
The structure in the repository is exactly the same as for the web site, which means that all models are directly in the
Some statistics of the collection (as of writing):
* .mzn files: 742
* .dzn files: 234
* .pl files (Perl program): 2
* README files: 1
* index.html files: 3
* .zip files: 2
*.java files: 1
For a total of 985 files.
I hope there are some use of them.
Also, see The MiniZinc Wiki.
The file hakank/README states the following:
In this directory I have collected all the MiniZinc models, data files, and tools that are available from http://www.hakank.org/minizinc/ Any new models on the site will be transferred to this SVN directory as soon as possible. Hakan Kjellerstrand, hakank@bonetmail.com http://www.hakank.org/minizinc/This means that the models (and other files) which is published at My MiniZinc page is the master, and I will put the files to the G12 SVN repository as soon as possible, hopefully directly after.
The structure in the repository is exactly the same as for the web site, which means that all models are directly in the
hakank directory, and then two specific data collections in nonogram_examples and sudoku_problems
Some statistics of the collection (as of writing):
* .mzn files: 742
* .dzn files: 234
* .pl files (Perl program): 2
* README files: 1
* index.html files: 3
* .zip files: 2
*.java files: 1
For a total of 985 files.
I hope there are some use of them.
Also, see The MiniZinc Wiki.