http://atlantis.seidenberg.pace.edu/~scharff/eclipse/eclipse.jpg http://atlantis.seidenberg.pace.edu/~scharff/eclipse/yicessri_small.png http://atlantis.seidenberg.pace.edu/~scharff/eclipse/yices_large.png
- 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 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 cscharff@pace.edu