Execute the enclosed file.

First of all notice that the example generated contradicts the first assertion (at least in my version of alloy).
Then go through each assertion one by one and change it into a fact. Even though all assertions passed
as assertions, now that they are facts, no example can be found.

I'm sure I'm missing something here...



 

 

Attachment	Size
graph_noedge.als_.txt	2.02 KB