Namespace ClingoSharp.CoreServices.Enums

Enumeration of error codes.

Enumeration for the different model types.

Enumeration of bit flags to select symbols in models

Enumeration of solve events

Enumeration of solve modes.

Enumeration of bit masks for solve call results.

Enumeration of available symbol types

Represents three-valued truth values

Enumeration of warning codes