Microsoft Research
It was created by Lev Nachmanson at Microsoft Research.