Merge branch 'minSolution' of https://github.com/VUISIS/formula into …

…minSolution

merging

Src/CommandLine/CommandInterface.cs

@@ -65,6 +65,7 @@ private enum WatchLevelKind { Off, On, Prompt };
         private const string WatchMsg = "Use: watch [off | on | prompt] to control watch behavior";
         private const string CoreMsg = "Prints reduced rule set for domains / transforms. Use: core module_name";
         private const string DowngradeMsg = "Attempts to downgrade a (partial) model to Formula V1. Use: downgrade module_name";
+        private const string FetchConstraintsMsg = "Attemps to fetch the constraints in the domain";
 
 
         private SpinLock cmdLock = new SpinLock();
@@ -325,6 +326,10 @@ public CommandInterface(IMessageSink sink, IChooser chooser, EnvParams envParams
             cmdMap.Add(interactiveCmd.Name, interactiveCmd);
             cmdMap.Add(interactiveCmd.ShortName, interactiveCmd);
 
+            var fetchConstraintsCmd = new Command("constraints", "ct", DoFetchConstraints, FetchConstraintsMsg);
+            cmdMap.Add(fetchConstraintsCmd.Name, fetchConstraintsCmd);
+            cmdMap.Add(fetchConstraintsCmd.ShortName, fetchConstraintsCmd);
+
             taskManager = new TaskManager();
         }
 
@@ -2131,6 +2136,11 @@ private void DoInteractiveHelp(string s)
             }
         }
 
+        private void DoFetchConstraints(string s) 
+        {
+
+        } 
+
         private void DoConfigHelp(string s)
         {
             sink.WriteMessageLine("Use collections to bind plugins to names.");