dotnet

Jul 13, 2019

2d4e9a0 · Jul 13, 2019

Name	Name	Last commit message	Last commit date
parent directory ..
CMakeLists.txt	CMakeLists.txt	Change from BINARY_DIR to PROJECT_BINARY_DIR	May 15, 2019
Program.cs	Program.cs	update managed APIs for lambda-based array models Z3Prover#2400	Jul 13, 2019
README	README	add main remaining updates from Z3Prover#1815	Jan 20, 2019
dotnet.csproj	dotnet.csproj	integrating additional changes from @yatli pull request Z3Prover#1815	Jan 20, 2019

README

Small example using the .Net bindings.
To build the example execute
   make examples
in the build directory.

It will create a .net core 2.0 app.