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