VSharpTeam
-
- 1,028 total downloads
- last updated 3/27/2023
- Latest version: 0.0.8
V# is a symbolic execution engine for .NET binaries, performing completely automated and unassisted test generation for .NET assemblies. It is cross-platform and supports .NET, .NET Core and .NET Framework... More information -
VSTeam.
by: VSharpTeamZ3 - 578 total downloads
- last updated 10/25/2023
- Latest version: 4.11.2-alpha (prerelease)
Microsoft Z3 SMT solver, which supports .NET 6.0 bindings for Apple M1 chips
