Skip to content

NEKERAFA/clingo-cs

Repository files navigation

clingo-cs

.NET 6.0 clingo 5.5.1 clingo-cs build Coverage Status

C# bindings of clingo 5.5.1, an ASP system to ground and solve logic programs.

Requirements

  • Windows 10 or Ubuntu 20.04
  • .NET 6.0
  • Visual Studio 19 or GCC, and CMake

Development

Clingo_cs uses the clingo Python API as reference. Instead, Clingo_c refers to the clingo C API. You can see all the clingo-cs API reference in https://nekerafa.github.io/clingo_cs.

Packages

Clingo_cs

Working in progress...

Clingo_c

Working in progress...

Build

Clone the repository and the submodules:

$ git clone --recurse-submodules -j8 git://github.com/nekerafa/clingo-cs.git

Execute the build script (.ps1 in Windows or .sh in GNU/Linux) to build clingo:

$ .\build.ps1

Compile the .NET project

$ dotnet build --configuration Debug

Test

With the project built, you can execute the test.ps1 script

$ .\test.ps1