There was a similar system installed in a hall in Toronto some years back. Can't remember the name but I think it was associated with Lexicon.
Pretty dead hall to start with so it worked fairly well.
That would be a LARES system
http://www.lares-lexicon.com/welcome.htmlWhile the "end results" are simialr-they use different approaches.
The VRAS (Meyer system) uses lots of mics with the standard gain before feedback issue, the LARES system uses much fewer mics and shifts them around" to allow for more gain before feedback.
In either case the mics and the preamps are NOT cheap.
Something else that is often overlooked is the NC of the HVAC system.
If the HVAC system is even remotely high-then the enhancement systems will simply amplify that-making it noticeably worse.
These systems can be quite stunning when done properly.
But doing it right comes at a price.
There are also other "players" out there-but LARES and VRAS are the biggest.
The Yamaha system is "more natural" but is limited to only bringing out the reverb to twice that of the natural room-making it very limited and you can't do things like double slopes-which are not "pure" but do exist naturally in some rooms.