Added Linux support

ClingoSharp

• Added Control.Load(string) function
• Fixed Enumeration class and the subclasses:
  • Clingo.MessageCode
  • Clingo.ModelType
  • Clingo.SymbolType

ClingoSharp.CoreServices

• Added clingo Linux library
• Added IControlModule.Load(Control, string) function

ClingoSharp.NativeWrapper

• Wrapped clingo_control_load(clingo_control*, const char*) function

Summary

Packages

• ClingoSharp 0.0.2-alpha
• ClingoSharp.CoreServices 0.0.3-alpha1
• ClingoSharp.NativeWrapper 0.0.2-alpha

Included Modules

Name	Finished
Clingo	❌
Control	❌
Model	❌
SolveHandle	✔
Symbol	✔
SymbolicAtom	✔

First release

Packages

• ClingoSharp 0.0.1-alpha
• ClingoSharp.CoreServices 0.0.1-alpha
• ClingoSharp.NativeWrapper 0.0.1-alpha

Included Modules

Name	Finished
Clingo	❌
Control	❌
Model	❌
SolveHandle	✔
Symbol	✔
SymbolicAtom	✔