Discover potassco/configuration-encoding Open Source project

⚙️ A conflict-driven nogood learning answer set solver

590

clasp

🌍 PDDL instances covering the International Planning Competitions

117

pddl-instances

Common Lisp

108

guide

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

TeX

asprilo

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

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

clorm

🗝️ Rust bindings to the clingo library

clingo-rs

🗺️ ASP planning tools for PDDL

plasp

🕸️ A visualizer for graphs defined as logic programs

clingraph

A solver for package problems in CUDF format

aspcud

clinguin

🐧 Clingo Interactive UI

⛓️ Extension of clingo to handle constraints over integers

clingcon

Collection of ASP encodings for asprilo

asprilo-encodings

CLIPS

telingo

🕰️ A solver for temporal programs.

💊 Qualitative and quantitative optimization in answer set programming

asprin

🍀 A system for probabilistic reasoning in clingo

plingo

🫓 A parser for the FlatZinc modelling language

flatzinc

♻️ Experimental formatter for clingo code

clingofmt

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

clingoLP

🧠 A solver for epistemic logic programs.

eclingo

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

qasp2qbf

🌱 A prototypical grounder implementation

mu-gringo

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

python-clingox

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

anthem-1

🍁 Rust crate for first-order logic with integer arithmetics

foliage

🦩 A flatzinc frontend for clingcon

flatzingo

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

clingo-dl

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

mapf-subgraph-system

Tools to aid the development of explanation systems using clingo

clingo-explaid

🧪 A test framework for clingo programs

clintest

🌳 Clingo grammar for tree-sitter

tree-sitter-clingo

xorro

⚔️ A solver for programs with XOR constraints.

📄 Template for python based projects.

python-project-template

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

clingo-lpx

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

potassco.github.io

ℹ️ The Potassco website

HTML

teaspoon

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

train-scheduling-with-clingo-dl

Non Ground Optimizer for logic programs.

ngo

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

clingo-cmake-example

eclingo-prototype

Epistemic logic programming with clingo

asp-date-lib

📅 ASP Library for dates

🥞 A converter from FlatZinc into an ASP fact format

fzn2lp

🧱 A utility library used by various potassco projects

libpotassco

🌱 Generalize learned constraints with ASP

ginkgo

Guess and Check Answer Set Programming

guess_and_check

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

asprilo-seminar

train-scheduling-with-hybrid-asp

A repository of ASP planning benchmarks

asp-planning-benchmarks

ASP

tel

Haskell

xls2asp

📊 Convert excel spreadsheets to ASP facts

clingo-server

libcsp

atlingo

Automata for dynamic answer set solving

📦 Conda recepies for potassco projects.

conda

planner

An ASP-based planner

coala is a translation tool for BC to ASP

coala

Automatic algorithm configuration for clingo

study-regulations

acclingo

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

fz2aspif

Raw Rust FFI bindings to the C API of clingo library

clingo-sys