Pex - Automated Whitebox Testing for .NET
: Microsoft.ExtendedReflection.Reasoning
This namespace defines the notion of a formula, and the concept of a solver.
(c) Microsoft Corporation. All rights reserved.
pex Wiki Documentation
0.93.50813.0