Code

Fix printing of empty Ands and Ors#83

Code

Merged

haz merged 2 commits intomainAI-Planning/pddl:mainfrom fix/formula-formattingAI-Planning/pddl:fix/formula-formattingCopy head branch name to clipboardJun 23, 2023

+17-107

Commits

Commits on Jun 21, 2023

• fix: remove the TrueFormula and the FalseFormula to simplify the structure and fix the printing of empty Ands/Ors

  francescofuggitti

  committed
  496a254

  Copy full SHA for 496a254

• update code and tests

  francescofuggitti

  committed
  eac7882

  Copy full SHA for eac7882