Enum SolveResult
Enumeration of bit masks for solve call results.
Namespace: ClingoSharp.CoreServices.Enums
Assembly: ClingoSharp.CoreServices.dll
Syntax
[Flags]
public enum SolveResultRemarks
Neither Satisfiable nor Exhausted is set if the search is interrupted and no model was found.
Fields
| Name | Description |
|---|---|
| Exhausted | The last solve call completely exhausted the search space |
| Interrupted | The last solve call was interrupted |
| Satisfiable | The last solve call found a solution |
| Unsatisfiable | The last solve call did not find a solution |