incrementally adding files from dotnet core pull request from @yatli

Signed-off-by: Nikolaj Bjorner <[email protected]>

Author: NikolajBjorner

.gitignore

@@ -76,3 +76,6 @@ src/api/ml/z3.mllib
 *.bak
 doc/api
 doc/code
+.vs
+examples/**/obj
+CMakeSettings.json

cmake/modules/DotnetImports.props.in

@@ -0,0 +1,8 @@
+<Project>
+    <PropertyGroup>
+        <OutputPath>${_DN_OUTPUT_PATH}/</OutputPath>
+        <XPLAT_LIB_DIR>${_DN_XPLAT_LIB_DIR}/</XPLAT_LIB_DIR>
+        <DOTNET_PACKAGE_VERSION>${_DN_VERSION}</DOTNET_PACKAGE_VERSION>
+        ${_DN_CUSTOM_BUILDPROPS}
+    </PropertyGroup>
+</Project>