Yicesのソースコードが公開されていた。 http://yices.csl.sri.com/ Yicesは主要開発者がMSRに移ってZ3開発しだしてからは、存在感がかなり薄くなりはしたけれど、一時代を築いたソルバなので感慨がある。 (ちなみにZ3もソースコード公開してる)