わお。SMTソルバのZ3がオープンソースになったらしい。これは凄い！ https://www.facebook.com/permalink.php?story_fbid=782005308534263&id=121634907904643
知らない人向けに少し説明すると、Z3はMSRの作っているSMTソルバで、SMTソルバの中では現状速度面でも機能面でも最強のもの。これまでもソースコードは公開されていて、アカデミック向けには結構自由に使えたのだけれど、ライセンス上たしか商用利用には制限があって、ぐぬぬとなることが多かった。 それがMITライセンスになって、商用利用も自由にできるようになると、企業研究者としてはかなり色々と助かる。