Status.cs

Go to the documentation of this file.

/*++
Copyright (c) 2012 Microsoft Corporation

Module Name:

    Status.cs

Abstract:

    Z3 Managed API: Status

Author:

    Christoph Wintersteiger (cwinter) 2012-03-15

Notes:
    
--*/

using System;

namespace Microsoft.Z3
{
  public enum Status
  {    
    UNSATISFIABLE = -1,

    UNKNOWN = 0,

    SATISFIABLE = 1
  }

}