1
$\begingroup$

Is FindInstance guaranteed to find an instance if one exists? Conversely, if it does not find an instance, does that mean an instance does not exist at all? Finally, is there a way to change the Method Automatic option and if so what are the alternatives?

$\endgroup$

closed as off-topic by Daniel Lichtblau, Henrik Schumacher, m_goldberg, b3m2a1, Coolwater Jan 23 '18 at 6:00

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "The question is out of scope for this site. The answer to this question requires either advice from Wolfram support or the services of a professional consultant." – Daniel Lichtblau, Henrik Schumacher, m_goldberg, b3m2a1, Coolwater
If this question can be reworded to fit the rules in the help center, please edit the question.

  • 2
    $\begingroup$ I do not know the exact internals but: Quite certainly, more than one single algorithm is used and there are no guarantees that an instance can be found even if there exists one. $\endgroup$ – Henrik Schumacher Jan 22 '18 at 21:57

Browse other questions tagged or ask your own question.