Simplifiers.cs File Reference

Go to the source code of this file.

Data Structures
class	Simplifier
	Simplifiers are the basic building block for creating custom solvers with incremental pre-processing. The complete list of simplifiers may be obtained using Context.NumSimplifiers and Context.SimplifierNames. It may also be obtained using the command (help-simplifier) in the SMT 2.0 front-end. More...

Namespaces
namespace	Microsoft
namespace	Microsoft.Z3