Use Alloy's symmetry breaking on total orders #4
Description
Investigate the use of Alloy's symmetry-breaking util/ordering on: S-order, co-order, then-order
{{ message }}
Investigate the use of Alloy's symmetry-breaking util/ordering on: S-order, co-order, then-order