Kodkod Visualizer #158
Description
Readability must be improved.
Enums should not be atoms.
Names need to be consistent with theme generation.
Needs to be able to project on root/state.
{{ message }}
Readability must be improved.
Enums should not be atoms.
Names need to be consistent with theme generation.
Needs to be able to project on root/state.