Switch branches/tags
Nothing to show
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
make
Microsoft.Z3.dll
Microsoft.Z3.dll.config
README.md
config.mk
libz3.dylib
z3monostarter.fsx

README.md

Samples for Z3 Mono Starter post

z3monostarter.fsx - examples in F#
Also config.mk - modified makefile to build libz3.dylib
libz3.dylib - OSX Z3 library (architecture is i386)
Microsoft.Z3.dll, Microsoft.Z3.dll.config - mono bindings (make folder contains MonoDevelop generated make)