Probably, Microsoft ICE is another amazing piece of software from MS Research that they've released and kept updated over the years.