Decoupling Transformer SAT
SAT-based planning with axioms, built on the Decoupling Transformer.
Decoupling Transformer SAT extends the Decoupling Transformer with SAT-based planning. It implements the AxSAT approach, solving classical planning tasks via satisfiability while supporting conditional effects and axioms, using a sequential exists-step encoding and the Kissat SAT solver. The approach is described in our JELIA 2025 paper (Behnke et al., 2025).
The implementation is available on GitHub.
It is built on top of the Decoupling Transformer project.