Differences
This shows you the differences between two versions of the page.
sav08:smt-lib_format [2008/03/06 17:56] vkuncak created |
sav08:smt-lib_format [2008/03/06 17:56] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== SMT-LIB Format ====== | ====== SMT-LIB Format ====== | ||
- | Here [[http://combination.cs.uiowa.edu/smtlib/|official SMT-LIB page]]. | + | Here is the [[http://combination.cs.uiowa.edu/smtlib/|official SMT-LIB page]]. |
To check satisfiability of formula | To check satisfiability of formula |