Explore @potassco Open Source projects

Potassco (@potassco)

potassco

Stars
1,421
Global Org. Rank 12,088 (Top 4 %)
Registered over 8 years ago
Most used languages

Python
47.5 %

C++
23.7 %

Rust
15.3 %

C
3.4 %

ASP 1.7 %

HTML
1.7 %

TeX
1.7 %

Haskell
1.7 %

CLIPS 1.7 %

Common Lisp
1.7 %
Location 🇩🇪 Germany
Country Total Rank 1,343
Country Ranking

CLIPS 2

Common Lisp
10

ASP 23

TeX
85

C++
142

Rust
357

Haskell
423

Python
695

C
2,463

HTML
2,772

clingo

🤔 A grounder and solver for logic programs.

clasp

⚙️ A conflict-driven nogood learning answer set solver

pddl-instances

🌍 PDDL instances covering the International Planning Competitions

guide

🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.

asprilo

🤖 ASPRILO, an intra-logistics benchmark suite for answer set programming

clorm

🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner

clingo-rs

🗝️ Rust bindings to the clingo library

plasp

🗺️ ASP planning tools for PDDL

clingraph

🕸️ A visualizer for graphs defined as logic programs

aspcud

A solver for package problems in CUDF format

clinguin

🐧 Clingo Interactive UI

clingcon

⛓️ Extension of clingo to handle constraints over integers

asprilo-encodings

Collection of ASP encodings for asprilo

telingo

🕰️ A solver for temporal programs.

asprin

💊 Qualitative and quantitative optimization in answer set programming

plingo

🍀 A system for probabilistic reasoning in clingo

flatzinc

🫓 A parser for the FlatZinc modelling language

clingofmt

♻️ Experimental formatter for clingo code

clingoLP

Theory propagator for linear programming using clingo theory language and interface.

eclingo

🧠 A solver for epistemic logic programs.

qasp2qbf

🧊 A translator from quantified answer set programming to quantified boolean formula

mu-gringo

🌱 A prototypical grounder implementation

python-clingox

🧰 Library with auxilary functions to use along with the clingo module.

anthem-1

🎼 Translate answer set programs to first-order theorem prover language

foliage

🍁 Rust crate for first-order logic with integer arithmetics

flatzingo

🦩 A flatzinc frontend for clingcon

clingo-dl

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

mapf-subgraph-system

🕵️ Solving MAPF under map-to-subgraph transformation with SAT and ASP

clingo-explaid

Tools to aid the development of explanation systems using clingo

clintest

🧪 A test framework for clingo programs

tree-sitter-clingo

🌳 Clingo grammar for tree-sitter

xorro

⚔️ A solver for programs with XOR constraints.

python-project-template

📄 Template for python based projects.

configuration-encoding

🧩 An encoding for solving configuration problems with ASP

clingo-lpx

🧮 A simplistic simplex solver for checking satisfiability of a set of equations.

potassco.github.io

ℹ️ The Potassco website

teaspoon

🥄 ASP encodings to solve the curriculum-based course timetabling problem

train-scheduling-with-clingo-dl

🚄 Benchmark scripts, encodings and instances for train scheduling with clingo-dl

ngo

Non Ground Optimizer for logic programs.

clingo-cmake-example

🏗️ Example how to use the clingo library in a cmake based project.

eclingo-prototype

Epistemic logic programming with clingo

asp-date-lib

📅 ASP Library for dates

fzn2lp

🥞 A converter from FlatZinc into an ASP fact format

libpotassco

🧱 A utility library used by various potassco projects

ginkgo

🌱 Generalize learned constraints with ASP

guess_and_check

Guess and Check Answer Set Programming

asprilo-seminar

train-scheduling-with-hybrid-asp

🚂 Benchmark instances and encoding for the paper "Train Scheduling With Hybrid Answer Set Programming"

asp-planning-benchmarks

A repository of ASP planning benchmarks

tel

xls2asp

📊 Convert excel spreadsheets to ASP facts

clingo-server

🌐 Clingo via HTTP

libcsp

atlingo

Automata for dynamic answer set solving

conda

📦 Conda recepies for potassco projects.

planner

An ASP-based planner

coala

coala is a translation tool for BC to ASP

study-regulations

acclingo

Automatic algorithm configuration for clingo

fz2aspif

Translating flatzinc format to ASP intermediate language aspif. To be used with clingcon-3.x series.

clingo-sys

Raw Rust FFI bindings to the C API of clingo library