riddle-lang 0.2.0

RiDDLe is a language for the definition of timeline-based domains and problem definitions, designed to facilitate the integration with solvers and to increase modularity and reusability of domain models.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

# Blocks Examples

This folder contains the block-world style examples.

## Contents

- `blocks_domain.rddl`: shared domain definitions.
- `blocks_01.rddl` to `blocks_03.rddl`: problem instances.

## Purpose

Use these files to validate object/class/predicate modeling patterns in a compact but expressive domain.

## How To Run

From the repository root:

```bash
cargo test --test examples blocks_
```

To run every integration example:

```bash
cargo test --test examples
```