VSharpTeam

VSTeam.Z3
by: VSharpTeam
- .NET 6.0
- 2,357 total downloads
- last updated 10/25/2023
- Latest version: 4.11.2-alpha (prerelease)
- smt constraint solver theorem prover macos m1
Microsoft Z3 SMT solver, which supports .NET 6.0 bindings for Apple M1 chips
VSTeam.VSharp
by: VSharpTeam
- .NET 6.0
- 1,162 total downloads
- last updated 3/27/2023
- Latest version: 0.0.8
- TestGeneration SymbolicExecution .NET
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