00001 /*++ 00002 Copyright (c) 2012 Microsoft Corporation 00003 00004 Module Name: 00005 00006 Status.cs 00007 00008 Abstract: 00009 00010 Z3 Managed API: Status 00011 00012 Author: 00013 00014 Christoph Wintersteiger (cwinter) 2012-03-15 00015 00016 Notes: 00017 00018 --*/ 00019 00020 using System; 00021 00022 namespace Microsoft.Z3 00023 { 00027 public enum Status 00028 { 00032 UNSATISFIABLE = -1, 00033 00037 UNKNOWN = 0, 00038 00042 SATISFIABLE = 1 00043 } 00044 00045 }