The current CQL randomizer (random instance) generates models; it is designed for large sizes with few or no constraints. It would be useful to have the ability to create random presentations, which must be small instances, but can be highly constrained.
The current CQL randomizer (random instance) generates models; it is designed for large sizes with few or no constraints. It would be useful to have the ability to create random presentations, which must be small instances, but can be highly constrained.