24 lines
526 B
Plaintext
24 lines
526 B
Plaintext
'.source.mzn':
|
|
'import globals':
|
|
'prefix': 'glob'
|
|
'body': 'include "globals.mzn";$1'
|
|
'array declaration':
|
|
'prefix': 'arr'
|
|
'body': 'array[$1] of ${2:int}: $3;$4'
|
|
'forall':
|
|
'prefix': 'for'
|
|
'body': 'forall($1) ($2)$3'
|
|
'sum':
|
|
'prefix': 'sum'
|
|
'body': 'sum($1) ($2)$3'
|
|
|
|
'solve satisfy':
|
|
'prefix': 'solve'
|
|
'body': 'solve satisfy;$1'
|
|
'solve minimize':
|
|
'prefix': 'min'
|
|
'body': 'solve minimize $1;$2'
|
|
'solve maximize':
|
|
'prefix': 'max'
|
|
'body': 'solve maximize $1;$2'
|