From ab37aa3c5b3aebd9ece0efa9d96058e7229d8f54 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.li>
Date: Tue, 24 Nov 2015 17:43:43 +0100
Subject: [PATCH] Adds solve statements to the snippets

---
 snippets/language-mzn.cson | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/snippets/language-mzn.cson b/snippets/language-mzn.cson
index d997768..60c1fe1 100644
--- a/snippets/language-mzn.cson
+++ b/snippets/language-mzn.cson
@@ -17,3 +17,13 @@
   'sum with in':
     'prefix': 'sumi'
     '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'