arXiv subjects

Andres Notzli

Publications and source records attributed to Andres Notzli.

1 recordsLinked to original sources

arXiv2021

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

cs.LO↗