Roland Kaminski

Clorm

Last released Sep 21, 2023

Clingo ORM (CLORM) provides a ORM interface for interacting with the Clingo Answer Set Programming (ASP) solver

clingraph

Last released Jul 5, 2023

A visualizer for graphs defined as facts with special integration for clingo

plingo

Last released Apr 14, 2023

Probabilistic extension for clingo

clingo

Last released Nov 7, 2022

CFFI-based bindings to the clingo solver.

clingox

Last released Sep 23, 2022

Support library for clingo.

clingo-lpx

Last released Sep 11, 2022

CFFI-based bindings to the clingo-lpx solver.

clingo-dl

Last released Sep 11, 2022

CFFI-based bindings to the clingo-dl solver.

clingcon

Last released Sep 11, 2022

CFFI-based bindings to the clingcon solver.

pygments-clingo

Last released Mar 11, 2022

Syntax highlighting for clingo

pygments-w3c-ebnf

Last released Dec 17, 2021

A pygments lexer for the Extended Backus-Naur Format used by the W3C

clingo-lp

Last released Sep 25, 2021

clingo[LP] extends the ASP solver clingo with linear constraints as dealt with in Linear Programming (LP).

telingo

Last released May 12, 2021

System to solve dynamic temporal logic programs.