You might want to implement the ability to read FlatZinc models. This would open up a large library of MiniZinc models for testing.
Wikunia
