potassco Goto Github PK

acclingo

Automatic algorithm configuration for clingo

anthem

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

anthem-next

A translator between answer set programs and first-order logic

asp-date-lib

📅 ASP Library for dates

asp-planning-benchmarks

A repository of ASP planning benchmarks

aspcud

A solver for package problems in CUDF format

aspic-legacy

🏚️ aspic legacy code: last development snapshot from Sep 2016.

asprilo

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

asprilo-encodings

Collection of ASP encodings for asprilo

asprilo-seminar

asprin

💊 Qualitative and quantitative optimization in answer set programming

aspstream

A simple approach to stream reasoning in clingo

atlingo

Automata for dynamic answer set solving

benchmark-tool

🏎️ Git-mirror of the benchmark-tool

clasp

⚙️ A conflict-driven nogood learning answer set solver

clingcon

⛓️ Extension of clingo to handle constraints over integers

clingcon-theory-rs

Raw Rust FFI bindings to the C API of clingcon library

clingo

🤔 A grounder and solver for logic programs.

clingo-cmake-example

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

clingo-dl

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

clingo-dl-theory-rs

Raw Rust FFI bindings to the C API of clingo-dl library

clingo-explaid

Tools to aid the development of explanation systems using clingo

clingo-lpx

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

clingo-rs

🗝️ Rust bindings to the clingo library

clingo-server

🌐 Clingo via HTTP

clingo-sys

Raw Rust FFI bindings to the C API of clingo library

clingo-vs-telingo-planning

clingo-xor

📟 Clingo + XOR-constraints + Simplex

clingofmt

♻️ Experimental formatter for clingo code

clingolp

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