Dekker1/language-mzn
Archived
1
0
Fork 0
Code

Adds solve statements to the snippets

Browse Source
This commit is contained in:
Jip J. Dekker 2015-11-24 17:43:43 +01:00
parent 0e445f4402
commit ab37aa3c5b
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
snippets/language-mzn.cson
View File

@ -17,3 +17,13 @@
'sum with in': 'sum with in':
'prefix': 'sumi' 'prefix': 'sumi'
'body': 'sum($1 in $2) (\n\t$3\n)\n$4' 'body': 'sum($1 in $2) (\n\t$3\n)\n$4'
'solve satisfy':
'prefix': 'solve'
'body': 'solve satisfy;\n$1'
'solve minimize':
'prefix': 'min'
'body': 'solve minimize $1;\n$2'
'solve maximize':
'prefix': 'max'
'body': 'solve maximize $1;\n$2'