PDDL-Prover allows to construct arbitrary formulas in first-order logic (FOL) in Python, using a declarative syntax and including counting quantifiers. Then, the truth values of these formulas can be ...

calc-workbook is an easy-to-use Python library that loads Excel files, computes all formulas using the formulas engine, and provides a clean, high-level API to access computed cell values from each ...