New formula: minizinc

Closes #17762.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>