Code

Add more simplifications#164

Code

Closed

teiesti wants to merge 5 commits intomasterpotassco/anthem:masterfrom tobias/simplificationspotassco/anthem:tobias/simplificationsCopy head branch name to clipboard

+312-4

Commits

Commits on Nov 29, 2024

• Add remove_empty_quantifications simplification

  teiesti

  committed
  9d8e454

• Add remove_orphaned_variables simplification

  teiesti

  committed
  6741759

• Add evaluate_comparisons_between_equal_terms simplification

  teiesti

  committed
  6703ff8

• Add substitute_defined_variables simplification

  teiesti

  committed
  5b82f22

• Implement substitute for SymbolicTerms

  teiesti

  committed
  8ebe436