Main Page

From SRI YICES

This is the root of the Wiki pages for the Yices SMT solver.

The Yices static web pages are here.

Wikis for our other systems are here: PVS, SAL; and here's our top-level wiki: Formal Methods at SRI CSL.

The purpose of this Wiki is to allow more comprehensive and uptodate dissemination of information relating to Yices by allowing anybody to edit and contribute to these pages. You are encouraged to join in--please make sure your content is relevant to Yices. We are using the MediaWiki software (same as Wikipedia). Click on 'Help' button on the left for using the Wiki.

Contents 1 Documentation 2 News 3 Community 4 Other

Documentation

• FAQ (Frequently Asked Questions)

• Cygwin: if you want to use Yices under Windows, you may want to install Cygwin. Here's some help on doing that, from the SAL Wiki

News

• Yices did very well in the recent 2007 SMT Competition: it won 6 of the 12 categories and came second in 3.
  • (Yices won every division in the 2006 SMT Competition.)

• Yices (since version 1.0.5) can now be used on Windows without Cygwin. Just download the mingw32 version at the Yices download page

Community

• Links to papers relevant to Yices
• Links to groups using Yices
• Work on Yices at Pace University, NY, USA
  • Yices Web Interface
  • Yices Java API Lite
  • Yices-Rainbow Eclipse Plugin

Other

We're still learning how best to organize and use this capability--please join in and help.