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

//! Oracle probe: replay a classic-format plan file against the ORIGINAL
//! domain/problem and print the independent verifier's verdicts.
//! Usage: verify_plan <domain> <problem> <plan-text-file>
fn main() {
    let a: Vec<String> = std::env::args().collect();
    let dom = std::fs::read_to_string(&a[1]).unwrap();
    let prob = std::fs::read_to_string(&a[2]).unwrap();
    let plan_text = std::fs::read_to_string(&a[3]).unwrap();
    let steps = ferroplan::plan::parse_classical(&plan_text);
    let v = ferroplan::verify::verify(&dom, &prob, &steps).expect("verify");
    println!(
        "steps {}; hard_goal_met {}; constraints_met {}; metric {}; sat {}, vio {}",
        steps.len(),
        v.hard_goal_met,
        v.constraints_met,
        v.metric,
        v.satisfied,
        v.violated
    );
}