Support MiniZinc as input, through an Adapter

To compete in the MiniZinc challenge.

Similar to the JSR-331 adapter we might wanted to write. Note that JSR-331 died, so it's good we never invested in that. But MiniZinc seems to be less prone to dying.