• Stars
    star
    108
  • Rank 321,259 (Top 7 %)
  • Language
    Common Lisp
  • Created about 8 years ago
  • Updated over 3 years ago

Reviews

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

Repository Details

๐ŸŒ PDDL instances covering the International Planning Competitions

PDDL Benchmark Instances

PDDL instances covering the International Planning Competitions

Overview

This repository contains PDDL benchmark instances in a consistent structure.

Currently, this repository covers the benchmark instances of the International Planning Competitions (IPC).

Format

For each IPC domain, there is a top-level readme containing an informal description of the domain.

Problem instances reside in the instances subdirectory and are of the form instance-x.pddl, where x โ‰ฅ 1 (without leading zeros).

With most domains, there is only one domain description for all instances, domain.pddl. In some cases, a proper domain is provided for each instance, in which case the domain descriptions are stored in a domains subdirectory.

International Planning Competitions

The following International Planning Competitions are completely covered unless otherwise stated.

  1. IPC 1998 (7 domains, 14 variants)
  2. IPC 2000 (5 domains, 12 variants)
  3. IPC 2002 (8 domains, 48 variants), without untyped variants
  4. IPC 2004 (8 domains, 47 variants), deterministic track
  5. IPC 2006 (7 domains, 50 variants), deterministic track
  6. IPC 2008 (11 domains, 41 variants), deterministic track
  7. IPC 2011 (19 domains, 54 variants), deterministic track
  8. IPC 2014 (23 domains, 66 variants), deterministic track

More Repositories

1

clingo

๐Ÿค” A grounder and solver for logic programs.
C++
590
star
2

clasp

โš™๏ธ A conflict-driven nogood learning answer set solver
C++
117
star
3

guide

๐Ÿฆฎ An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
TeX
74
star
4

asprilo

๐Ÿค– ASPRILO, an intra-logistics benchmark suite for answer set programming
Python
53
star
5

clorm

๐Ÿ—ƒ๏ธ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
Python
52
star
6

clingo-rs

๐Ÿ—๏ธ Rust bindings to the clingo library
Rust
29
star
7

plasp

๐Ÿ—บ๏ธ ASP planning tools for PDDL
C++
27
star
8

clingraph

๐Ÿ•ธ๏ธ A visualizer for graphs defined as logic programs
Python
27
star
9

aspcud

A solver for package problems in CUDF format
C++
26
star
10

clinguin

๐Ÿง Clingo Interactive UI
Python
25
star
11

clingcon

โ›“๏ธ Extension of clingo to handle constraints over integers
C++
25
star
12

asprilo-encodings

Collection of ASP encodings for asprilo
CLIPS
21
star
13

telingo

๐Ÿ•ฐ๏ธ A solver for temporal programs.
Python
21
star
14

asprin

๐Ÿ’Š Qualitative and quantitative optimization in answer set programming
Python
19
star
15

plingo

๐Ÿ€ A system for probabilistic reasoning in clingo
Python
15
star
16

flatzinc

๐Ÿซ“ A parser for the FlatZinc modelling language
Rust
11
star
17

clingofmt

โ™ป๏ธ Experimental formatter for clingo code
Rust
10
star
18

clingoLP

Theory propagator for linear programming using clingo theory language and interface.
Python
10
star
19

eclingo

๐Ÿง  A solver for epistemic logic programs.
Python
9
star
20

qasp2qbf

๐ŸงŠ A translator from quantified answer set programming to quantified boolean formula
Python
8
star
21

mu-gringo

๐ŸŒฑ A prototypical grounder implementation
Rust
8
star
22

python-clingox

๐Ÿงฐ Library with auxilary functions to use along with the clingo module.
Python
7
star
23

anthem-1

๐ŸŽผ Translate answer set programs to first-order theorem prover language
Rust
7
star
24

foliage

๐Ÿ Rust crate for first-order logic with integer arithmetics
Rust
6
star
25

flatzingo

๐Ÿฆฉ A flatzinc frontend for clingcon
Python
6
star
26

clingo-dl

๐Ÿ“ Theory propagator for difference logic using clingo's theory language and C++ API.
C++
6
star
27

mapf-subgraph-system

๐Ÿ•ต๏ธ Solving MAPF under map-to-subgraph transformation with SAT and ASP
C++
6
star
28

clingo-explaid

Tools to aid the development of explanation systems using clingo
Python
6
star
29

clintest

๐Ÿงช A test framework for clingo programs
Python
6
star
30

tree-sitter-clingo

๐ŸŒณ Clingo grammar for tree-sitter
C
5
star
31

xorro

โš”๏ธ A solver for programs with XOR constraints.
Python
5
star
32

python-project-template

๐Ÿ“„ Template for python based projects.
Python
5
star
33

configuration-encoding

๐Ÿงฉ An encoding for solving configuration problems with ASP
Python
5
star
34

clingo-lpx

๐Ÿงฎ A simplistic simplex solver for checking satisfiability of a set of equations.
C++
4
star
35

potassco.github.io

โ„น๏ธ The Potassco website
HTML
4
star
36

teaspoon

๐Ÿฅ„ ASP encodings to solve the curriculum-based course timetabling problem
C++
4
star
37

train-scheduling-with-clingo-dl

๐Ÿš„ Benchmark scripts, encodings and instances for train scheduling with clingo-dl
Python
4
star
38

ngo

Non Ground Optimizer for logic programs.
Python
4
star
39

clingo-cmake-example

๐Ÿ—๏ธ Example how to use the clingo library in a cmake based project.
C
3
star
40

eclingo-prototype

Epistemic logic programming with clingo
Python
3
star
41

asp-date-lib

๐Ÿ“… ASP Library for dates
Python
3
star
42

fzn2lp

๐Ÿฅž A converter from FlatZinc into an ASP fact format
Rust
3
star
43

libpotassco

๐Ÿงฑ A utility library used by various potassco projects
C++
3
star
44

ginkgo

๐ŸŒฑ Generalize learned constraints with ASP
C++
2
star
45

guess_and_check

Guess and Check Answer Set Programming
Python
2
star
46

asprilo-seminar

2
star
47

train-scheduling-with-hybrid-asp

๐Ÿš‚ Benchmark instances and encoding for the paper "Train Scheduling With Hybrid Answer Set Programming"
Python
2
star
48

asp-planning-benchmarks

A repository of ASP planning benchmarks
ASP
2
star
49

tel

Haskell
2
star
50

xls2asp

๐Ÿ“Š Convert excel spreadsheets to ASP facts
Python
2
star
51

clingo-server

๐ŸŒ Clingo via HTTP
Rust
2
star
52

libcsp

C++
1
star
53

atlingo

Automata for dynamic answer set solving
C++
1
star
54

conda

๐Ÿ“ฆ Conda recepies for potassco projects.
Python
1
star
55

planner

An ASP-based planner
Python
1
star
56

coala

coala is a translation tool for BC to ASP
Python
1
star
57

study-regulations

1
star
58

acclingo

Automatic algorithm configuration for clingo
Python
1
star
59

fz2aspif

Translating flatzinc format to ASP intermediate language aspif. To be used with clingcon-3.x series.
C++
1
star
60

clingo-sys

Raw Rust FFI bindings to the C API of clingo library
Rust
1
star