potassco/clingo

Stars
590
Rank 75,794 (Top 2 %)
Language
C++
License
MIT License
Created over 8 years ago
Updated 4 months ago

potassco/clingo

potassco

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

🤔 A grounder and solver for logic programs.

Clingo: A grounder and solver for logic programs

Clingo is part of the Potassco project for Answer Set Programming (ASP). ASP offers a simple and powerful modeling language to describe combinatorial problems as logic programs. The clingo system then takes such a logic program and computes answer sets representing solutions to the given problem. To get an idea, check our Getting Started page and the online version of clingo.

Please consult the following resources for further information:

Clingo is distributed under the MIT License.

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