diff --git a/scripts/vsts-vs2017.cmd b/scripts/vsts-vs2017.cmd
new file mode 100644
index 000000000..3b3a60231
--- /dev/null
+++ b/scripts/vsts-vs2017.cmd
@@ -0,0 +1,40 @@
+echo "Build"
+md build
+cd build
+call "C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat"
+cmake -DBUILD_DOTNET_BINDINGS=True -DBUILD_JAVA_BINDINGS=True -DBUILD_PYTHON_BINDINGS=True -G "NMake Makefiles" ../
+nmake
+rem TBD: test error level
+
+echo "Test python bindings"
+pushd python
+python z3test.py z3
+python z3test.py z3num
+popd
+
+echo "Build and run examples"
+nmake cpp_example
+examples\cpp_example_build_dir\cpp_example.exe
+
+nmake c_example
+examples\c_example_build_dir\c_example.exe
+
+rem nmake java_example
+rem java_example.exe
+
+rem nmake dotnet_example
+rem dotnet_example.exe
+
+echo "Build and run unit tests"
+nmake test-z3
+rem TBD: test error level
+rem test-z3.exe -a
+
+
+cd ..
+echo "Run regression tests"
+git clone https://github.com/z3prover/z3test z3test
+echo "test-benchmarks"
+python z3test\scripts\test_benchmarks.py build\z3.exe z3test\regressions\smt2
+echo "benchmarks tested"
+