Remove strict and context from the definition#38

Merged

dwightguth merged 6 commits intomainfrom remove-strict

Sep 24, 2024

+230-45

Commits on Sep 20, 2024

Commits on Sep 21, 2024

Removed side conditions from heating rules.
mariaKt
committed

Commits on Sep 23, 2024

Merge branch 'main' into remove-strict
mariaKt
authored

Commits on Sep 24, 2024

Merge branch 'main' into remove-strict
mariaKt
authored