Do people have any heuristics or strategies for coping with the dreaded “no instance found”? Obviously, one answer is to step incrementally, versioning along the way, but presumably there are times when one has to work with other peoples’ specs.
(And, incidentally, sometimes it appears that an answer is to restart Alloy.)
Just installed the jar, but I can’t see the Minisat in the menu. Is there something else I have to do?
Incidentally, after starting up, I get the message Mac classes not there