Optimize.cs File Reference

Go to the source code of this file.

Data Structures
class	Optimize
	Object for managing optimization context. More...
class	Optimize.Handle
	Handle to objectives returned by objective functions. More...

Namespaces
namespace	Microsoft
namespace	Microsoft.Z3