Skip to main content

Solver Overview

The Feasbl solver is a PDDL planner (parser, grounder, search engine) implemented in Rust as the jia crate.

Architecture​

The solver is structured as a pipeline:

  1. Parser — reads PDDL domain and problem files
  2. Grounder — instantiates lifted operators into ground actions
  3. Search — finds a plan using heuristic forward search