Helper function to initialise the type.
1 | getType(type_str, kind)
|
type_str |
type string returned by 'parse_mzn()'. |
kind |
par or var |
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.