lib(minizinc)

   Utilities for using MiniZinc with ECLiPSe

