Ryan Wisnesky
Ryan Wisnesky
Complete algorithm: http://web.cecs.pdx.edu/~mpj/pubs/polyrec.html
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...
Setting up a span and attaching morphisms takes just as many lines of code. For this to be smaller, we would need to special case pushouts from colimits by sweeping...
So you save to the last folder you opened from.