Main Page

From SRI YICES

Jump to: navigation, search

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

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 (since version 1.0.5) can now be used on Windows without Cygwin. Just download the mingw32 version at the Yices download page

Community

Other

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

Personal tools