Solvers for Mixed Games

forumserver.twoplustwo.com/29/news-views-gossip/how-i-created-draw-solver-made-million-dollars-helped-take-down-phil-ivey-1844640/

NVG thread. Apparently solvers for 2-7 TD and SD in like 2014 used to beat the Big Game in Bobby's Room. Used to win HU match against Ivey. Seems like there are solvers for mixed game games, but not publicly available.