マイクロソフトリサーチ
It was created by Lev Nachmanson at Microsoft Research.