Pinned

1. vim-swapc vim-swapc Public

   Helper to swap between source and header files in C/C++ projects

   Vim Script

2. vim-syntax-clingo vim-syntax-clingo Public

   📜 Syntax highlighting and auto indentation for clingo/gringo.

   Vim Script 10 1

3. potassco/clingo potassco/clingo Public

   🤔 A grounder and solver for logic programs.

   C++ 585 76

4. potassco/clingo-dl potassco/clingo-dl Public

   📏 Theory propagator for difference logic using clingo's theory language and C++ API.

   C++ 6 1

5. potassco/conda potassco/conda Public

   📦 Conda recepies for potassco projects.

   Python 1 4

6. potassco/telingo potassco/telingo Public

   🕰️ A solver for temporal programs.

   Python 21 6