MiniZinc updates and new files
Picat updates and new files