Code

Add congruence constraints for nodes#877

Code

Open

daniel-larraz wants to merge 1 commit intokind2-mc:developkind2-mc/kind2:developfrom daniel-larraz:node-congruencedaniel-larraz/kind2:node-congruenceCopy head branch name to clipboard

+291-3

Commits

Commits on Apr 1, 2022

• Add congruence constraints for nodes

  daniel-larraz

  committed
  891f190