Go to the source code of this file.
Data Structures | |
class | Goal |
A goal (aka problem). A goal is essentially a set of formulas, that can be solved and/or transformed using tactics and solvers. More... | |
class | Goal.DecRefQueue |
Namespaces | |
namespace | Microsoft.Z3 |