About new Real-Time mode Posted on June 3, 2020June 5, 2020 by Ilya Kuznetsov About new Manticore Real-Time mode