diff --git a/contrib/ci/scripts/test_z3_examples_cmake.sh b/contrib/ci/scripts/test_z3_examples_cmake.sh
index 687efebb4cb..a1de9f3757c 100755
--- a/contrib/ci/scripts/test_z3_examples_cmake.sh
+++ b/contrib/ci/scripts/test_z3_examples_cmake.sh
@@ -91,8 +91,8 @@ if [ "X${DOTNET_BINDINGS}" = "X1" ]; then
   # Build .NET example
   # FIXME: Move compliation step into CMake target
   mcs ${Z3_SRC_DIR}/examples/dotnet/Program.cs /target:exe /out:dotnet_test.exe /reference:Microsoft.Z3.dll /r:System.Numerics.dll
-  # Run .NET example
-  run_quiet run_non_native_binding mono ./dotnet_test.exe
+  # Build & Run .NET example
+  run_quiet run_non_native_binding dotnet run -p ${Z3_SRC_DIR}/examples/dotnet/dotnet.csproj
 fi
 
 if [ "X${JAVA_BINDINGS}" = "X1" ]; then
diff --git a/examples/dotnet/dotnet.csproj b/examples/dotnet/dotnet.csproj
new file mode 100644
index 00000000000..0dc4ee2ec7e
--- /dev/null
+++ b/examples/dotnet/dotnet.csproj
@@ -0,0 +1,12 @@
+<Project Sdk="Microsoft.NET.Sdk">
+
+  <PropertyGroup>
+    <OutputType>Exe</OutputType>
+    <TargetFramework>netcoreapp2.0</TargetFramework>
+  </PropertyGroup>
+
+  <ItemGroup>
+      <PackageReference Include="Microsoft.Z3" Version="4.8.0" />
+  </ItemGroup>
+
+</Project>