From 930395c8f23f5a75f062245951ec899cc4c4e195 Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@google.com>
Date: Tue, 1 Aug 2017 16:15:49 -0700
Subject: [PATCH] c# support for sat, + micro test using the cp_model proto in
 C#

---
 ortools/sat/csharp/sat.i | 51 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 51 insertions(+)
 create mode 100644 ortools/sat/csharp/sat.i

diff --git a/ortools/sat/csharp/sat.i b/ortools/sat/csharp/sat.i
new file mode 100644
index 0000000000..770dff1c26
--- /dev/null
+++ b/ortools/sat/csharp/sat.i
@@ -0,0 +1,51 @@
+// Copyright 2010-2014 Google
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+
+// This .swig file exposes the sat cp_model API.
+
+%typemap(csimports) SWIGTYPE %{
+using System;
+using System.Runtime.InteropServices;
+using System.Collections;
+%}
+
+%include "ortools/base/base.i"
+%include "ortools/util/csharp/proto.i"
+
+%{
+#include "ortools/sat/cp_model.pb.h"
+#include "ortools/sat/sat_parameters.pb.h"
+#include "ortools/sat/swig_helper.h"
+%}
+
+PROTO_INPUT(operations_research::sat::CpModelProto,
+            Google.OrTools.Sat.CpModelProto,
+            model_proto);
+
+//PROTO_INPUT(operations_research::sat::SatParameters, parameters);
+
+PROTO2_RETURN(
+    operations_research::sat::CpSolverResponse,
+    Google.OrTools.Sat.CpSolverResponse);
+
+%ignoreall
+
+%unignore operations_research;
+%unignore operations_research::sat;
+%unignore operations_research::sat::SatHelper;
+%unignore operations_research::sat::SatHelper::Solve;
+//%unignore operations_research::sat::SatHelper::SolveWithParameters;
+
+%include "ortools/sat/swig_helper.h"
+
+%unignoreall