lazybvtoint at the SMT Competition 2020

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

Saved in:

Bibliographic Details
Main Authors:	Zohar, Yoni, Irfan, Ahmed, Mann, Makai, Notzli, Andres, Reynolds, Andrew, Barrett, Clark
Format:	Journal Article
Language:	English
Published:	07-05-2021
Subjects:	Computer Science - Logic in Computer Science
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	lazybvtoint is a new prototype SMT-solver, that will participate in the incremental and non-incremental tracks of the \qfbv logic.
DOI:	10.48550/arxiv.2105.09743