lazybvtoint at the SMT Competition 2020

05/07/2021

∙

by   Yoni Zohar, et al.

∙

0

∙

share

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