Yices: Bug List

• Mixed integer/real problems are not supported. Actually, yices may produce a wrong result for mixed integer/real problems.
• Some command line options do not work.

Last modified: Tue 09 Aug 2005 09:57 PDT