Home • Docs • Download • Mail • FAQ • Awards • Status • MSR

Z3 An Efficient SMT Solver

Microsoft::Z3::LabeledLiterals

LabeledLiterals Class Reference
[Managed (.NET) API]

Container for labeled literals. More...

Detailed Description

Container for labeled literals.

A satisfiable state can be queried for a set of labeled literals that are satisfied.

Definition at line 428 of file Microsoft.Z3.h.

Last modified Thu Nov 12 16:35:57 2009