Skip to content
View rkaminsk's full-sized avatar

Organizations

@potassco

Block or report rkaminsk

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  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 11 1

  3. potassco/clingo potassco/clingo Public

    🤔 A grounder and solver for logic programs.

    C++ 625 83

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

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

    C++ 6 2

  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 22 7