ferroplan 0.9.0

A fast, data-parallel PDDL planner in Rust — FF heuristic with ADL, numeric, derived axioms, PDDL3 preferences, PDDL2.1 temporal, and a goal decomposer
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

//! Use ferroplan as a library and serialize the structured result to JSON —
//! the shape a web service or another tool would consume.
//!
//! ```text
//! cargo run --example json_api
//! ```

use ferroplan::{solve, Mode, Options};

const DOMAIN: &str = "(define (domain gripper)
 (:requirements :strips :typing)
 (:types room ball gripper)
 (:predicates (at-robby ?r - room) (at ?b - ball ?r - room)
              (free ?g - gripper) (carry ?b - ball ?g - gripper))
 (:action move :parameters (?from ?to - room)
   :precondition (at-robby ?from) :effect (and (at-robby ?to) (not (at-robby ?from))))
 (:action pick :parameters (?b - ball ?r - room ?g - gripper)
   :precondition (and (at ?b ?r) (at-robby ?r) (free ?g))
   :effect (and (carry ?b ?g) (not (at ?b ?r)) (not (free ?g))))
 (:action drop :parameters (?b - ball ?r - room ?g - gripper)
   :precondition (and (carry ?b ?g) (at-robby ?r))
   :effect (and (at ?b ?r) (free ?g) (not (carry ?b ?g)))))";

const PROBLEM: &str = "(define (problem g1) (:domain gripper)
 (:objects rooma roomb - room  ball1 ball2 - ball  left right - gripper)
 (:init (at-robby rooma) (free left) (free right)
        (at ball1 rooma) (at ball2 rooma))
 (:goal (and (at ball1 roomb) (at ball2 roomb))))";

fn main() {
    // every field is optional thanks to Default — set only what you need.
    let opts = Options {
        mode: Mode::Auto,
        weight_h: 5.0,
        threads: 0,
        ..Default::default()
    };
    let solution = solve(DOMAIN, PROBLEM, &opts).expect("solve");

    // the whole Solution is serde-serializable
    let json = serde_json::to_string_pretty(&solution).unwrap();
    println!("{json}");

    // ...and it round-trips back into typed structures
    let back: ferroplan::Solution = serde_json::from_str(&json).unwrap();
    assert_eq!(back.solved, solution.solved);
}