MIT's New Tool for Tackling Hard Computational Problems