Zhi-Xuan, T. (2023). SymbolicPlanners.jl (Version 0.1.10) [Computer software]. https://github.com/JuliaPlanners/SymbolicPlanners.jl