lazybvtoint is a new prototype SMT-solver, that will participate in the incremental and non-incremental tracks of the \qfbv logic.

翻译：懒惰bvtoint 是一个新的原型 SMT 溶液, 它将参与\ qfbv 逻辑的递增和非递增轨道 。