Pinned Repositories
clingo
🤔 A grounder and solver for logic programs.
clingo-dl
📏 Theory propagator for difference logic using clingo's theory language and C++ API.
conda
📦 Conda recepies for potassco projects.
telingo
🕰️ A solver for temporal programs.
clasp
⚙️ A conflict-driven nogood learning answer set solver
clingcon-feedstock
A conda-smithy repository for clingcon.
clingo-dl-feedstock
A conda-smithy repository for clingo-dl.
clingo-feedstock
A conda-smithy repository for clingo.
vim-swapc
Helper to swap between source and header files in C/C++ projects
vim-syntax-clingo
📜 Syntax highlighting and auto indentation for clingo/gringo.
rkaminsk's Repositories
rkaminsk/vim-syntax-clingo
📜 Syntax highlighting and auto indentation for clingo/gringo.
rkaminsk/clasp
⚙️ A conflict-driven nogood learning answer set solver
rkaminsk/clingcon-feedstock
A conda-smithy repository for clingcon.
rkaminsk/clingo-dl-feedstock
A conda-smithy repository for clingo-dl.
rkaminsk/clingo-feedstock
A conda-smithy repository for clingo.
rkaminsk/vim-swapc
Helper to swap between source and header files in C/C++ projects
rkaminsk/clingo-jupyter-lite
rkaminsk/clingo-lpx-feedstock
A conda-smithy repository for clingo-lpx.
rkaminsk/clingo-srpm
Repository for files to build an SRPM for clingo
rkaminsk/cmapf
rkaminsk/conda-forge-pinning-feedstock
A conda-smithy repository for conda-forge-pinning.
rkaminsk/fuzzy-waddle
rkaminsk/jclingo
rkaminsk/lexy
C++ parsing DSL
rkaminsk/libpotassco
🧱 A utility library used by various potassco projects
rkaminsk/lp2txt
rkaminsk/ordered-map
C++ hash map and hash set which preserve the order of insertion
rkaminsk/plasp
🗺️ ASP planning tools for PDDL
rkaminsk/preprocessor
Live demo!
rkaminsk/pygments_clingo
Syntax highlighting for clingo with pygments
rkaminsk/python-simplex
rkaminsk/Safety
Clingo Safety Definition
rkaminsk/W3CEbnfLexer
Pygments lexer for W3C EBNF grammars
rkaminsk/wifi-hotspot
rkaminsk/zsh-completion-clingo