# Strategies for coping with no instance found? **URL:** \ **Category:** Questions\ **Created:** [October 1, 2020, 10:09am UTC](https://alloytools.discourse.group/t/strategies-for-coping-with-no-instance-found/115 "2020-10-01T10:09:31Z")\ **Posts on this page:** 7\ **Page:** 1
**Author:** ![steve.freeman](https://avatars.discourse-cdn.com/v4/letter/s/2acd7d/32.png) [@steve.freeman](https://alloytools.discourse.group/u/steve.freeman)\ **Post date:** [October 1, 2020, 10:09am UTC](https://alloytools.discourse.group/t/strategies-for-coping-with-no-instance-found/115/1 "2020-10-01T10:09:31Z")
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.) ---
**Author:** ![hwayne](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/hwayne/32/67_2.png) [@hwayne](https://alloytools.discourse.group/u/hwayne)\ **Post date:** [October 1, 2020, 4:12pm UTC](https://alloytools.discourse.group/t/strategies-for-coping-with-no-instance-found/115/2 "2020-10-01T16:12:52Z")
If you’re on Mac or Linux, you have access to Minisat’s Unsat Core, which will highlight the predicates that lead to “no instance found”. See here: [https://alloy.readthedocs.io/en/latest/tooling/analyzer.html#unsat-core](https://alloy.readthedocs.io/en/latest/tooling/analyzer.html#unsat-core) ---
**Author:** ![steve.freeman](https://avatars.discourse-cdn.com/v4/letter/s/2acd7d/32.png) [@steve.freeman](https://alloytools.discourse.group/u/steve.freeman)\ **Post date:** [October 1, 2020, 4:25pm UTC](https://alloytools.discourse.group/t/strategies-for-coping-with-no-instance-found/115/3 "2020-10-01T16:25:32Z")
Ah, but not in the standard download for Electrum. 😢 Anyone got instructions for setting it up? Thx all ---
**Author:** ![alcino](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/alcino/32/25_2.png) [@alcino](https://alloytools.discourse.group/u/alcino)\ **Post date:** [October 2, 2020, 6:18am UTC](https://alloytools.discourse.group/t/strategies-for-coping-with-no-instance-found/115/4 "2020-10-02T06:18:52Z")
Hi, I think the unsat core is already working properly in the latest release candidate (2.1 RC4). Best, Alcino ---
**Author:** ![steve.freeman](https://avatars.discourse-cdn.com/v4/letter/s/2acd7d/32.png) [@steve.freeman](https://alloytools.discourse.group/u/steve.freeman)\ **Post date:** [October 2, 2020, 7:47am UTC](https://alloytools.discourse.group/t/strategies-for-coping-with-no-instance-found/115/5 "2020-10-02T07:47:04Z")
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` (Running on OS/X) ---
**Author:** ![peter.kriens](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/peter.kriens/32/3_2.png) [@peter.kriens](https://alloytools.discourse.group/u/peter.kriens)\ **Post date:** [October 2, 2020, 8:17am UTC](https://alloytools.discourse.group/t/strategies-for-coping-with-no-instance-found/115/6 "2020-10-02T08:17:48Z")
I am running electrum 2 rc 2 on MacOS, see the native solvers. Are you running on Java 8? ---
**Author:** ![steve.freeman](https://avatars.discourse-cdn.com/v4/letter/s/2acd7d/32.png) [@steve.freeman](https://alloytools.discourse.group/u/steve.freeman)\ **Post date:** [October 2, 2020, 9:08am UTC](https://alloytools.discourse.group/t/strategies-for-coping-with-no-instance-found/115/7 "2020-10-02T09:08:35Z")
Good catch. Forgot to set the local vm after a reboot (using `jenv`)