Content deleted Content added
Corrected some grammatical errors that made the conclusion confusing. |
Partly undid revision 1059138540 by 27.85.207.129 (talk): imo, this is more clear |
||
Line 17:
(assert (= (f 10) 42))
</syntaxhighlight>
the SMT solver would return "This input is unsatisfiable". That happens because <code>f</code>,
==Discussion==
| |||