Yices-Rainbow 1.0.0 is an Eclipse plugin for Yices 1.0.9 running on Windows and Linux.
Help
Download
Yices-Rainbow plugin 1.0.0 (jar file)
Yices-Rainbow source code (zip file)
Yices-Rainbow update site is
![[WWW]](/wikistatic/modern/img/moin-www.png)
http://atlantis.seidenberg.pace.edu/~scharff/eclipse
Yices-Rainbow is referenced on the official
Yices wiki Yices-Rainbow is registered in the
Eclipse plugin central (soon) Yices-Rainbow is registered in the
eclipse plugins directory (soon) Please send feedback to
![[MAILTO]](/wikistatic/modern/img/moin-email.png)
cscharff@pace.edu