Microsoft.Z3.dll
libz3.dll
z3.exe
z3
fstar-mono.exe
tests-mono.exe
fstar.exe
fstar.fsharp
FsLexYacc.Runtime.dll
*.XML
*lib/META
