Ordering the universe might improve performance #165

Open

Assignees

Labels

enhancementkodkod core

opened

Group atoms by class.

Metadata

Assignees

tmguimaraes

Labels

enhancementkodkod core

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests