rkaminsk

@potassco Potsdam

Pinned Repositories

clingo
🤔 A grounder and solver for logic programs.
Language:C++621 34 35982
clingo-dl
📏 Theory propagator for difference logic using clingo's theory language and C++ API.
Language:C++6 11 372
conda
📦 Conda recepies for potassco projects.
Language:Python1 6 24
telingo
🕰️ A solver for temporal programs.
Language:Python22 7 107
clasp
⚙️ A conflict-driven nogood learning answer set solver
Language:C++0 0 00
clingcon-feedstock
A conda-smithy repository for clingcon.
Language:Batchfile0 0 00
clingo-dl-feedstock
A conda-smithy repository for clingo-dl.
Language:Batchfile0 0 00
clingo-feedstock
A conda-smithy repository for clingo.
Language:Shell0 0 00
vim-swapc
Helper to swap between source and header files in C/C++ projects
Language:Vim Script0 1 00
vim-syntax-clingo
📜 Syntax highlighting and auto indentation for clingo/gringo.
Language:Vim script11 1 01

rkaminsk's Repositories

rkaminsk/vim-syntax-clingo
📜 Syntax highlighting and auto indentation for clingo/gringo.
Language:Vim script11 1 01
rkaminsk/clasp
⚙️ A conflict-driven nogood learning answer set solver
Language:C++0 0 00
rkaminsk/clingcon-feedstock
A conda-smithy repository for clingcon.
Language:Batchfile0 0 00
rkaminsk/clingo-dl-feedstock
A conda-smithy repository for clingo-dl.
Language:Batchfile0 0 00
rkaminsk/clingo-feedstock
A conda-smithy repository for clingo.
Language:Shell0 0 00
rkaminsk/vim-swapc
Helper to swap between source and header files in C/C++ projects
Language:Vim Script0 1 00
rkaminsk/clingo-jupyter-lite
Language:Jupyter Notebook1 0
rkaminsk/clingo-lpx-feedstock
A conda-smithy repository for clingo-lpx.
rkaminsk/clingo-srpm
Repository for files to build an SRPM for clingo
1 0
rkaminsk/cmapf
Language:C1 0
rkaminsk/conda-forge-pinning-feedstock
A conda-smithy repository for conda-forge-pinning.
0 0
rkaminsk/fun
Language:Python
rkaminsk/fuzzy-waddle
Language:Python1 0
rkaminsk/jclingo
Language:Java0 01
rkaminsk/lexy
C++ parsing DSL
Language:C++0 0
rkaminsk/libffi-feedstock
A conda-smithy repository for libffi.
Language:Shell
rkaminsk/libpotassco
🧱 A utility library used by various potassco projects
Language:C++0 0
rkaminsk/lp2txt
Language:Python
rkaminsk/ordered-map
C++ hash map and hash set which preserve the order of insertion
Language:C++0 0
rkaminsk/plasp
🗺️ ASP planning tools for PDDL
Language:C++0 0
rkaminsk/preprocessor
Live demo!
Language:HTML1 0
rkaminsk/pygments_clingo
Syntax highlighting for clingo with pygments
Language:Python1 0
rkaminsk/python-simplex
Language:Python1 0
rkaminsk/Safety
Clingo Safety Definition
Language:TeX0 0
rkaminsk/us.zoom.Zoom
Language:Shell0 0
rkaminsk/W3CEbnfLexer
Pygments lexer for W3C EBNF grammars
Language:Python0 0
rkaminsk/wifi-hotspot
Language:Shell1 0
rkaminsk/zsh-completion-clingo
1 0