export { MiniZinc } from "@live-codes/lang-minizinc";