Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav08:introductory_remarks_on_smt_provers [2009/05/06 09:45] vkuncak |
sav08:introductory_remarks_on_smt_provers [2009/05/06 09:45] vkuncak |
||
---|---|---|---|
Line 36: | Line 36: | ||
\end{array} | \end{array} | ||
\] | \] | ||
- | Is this formula satisfiable? ++|yes. Why?++ | + | Is this formula satisfiable? ++|No. Why?++ |