UltimateIntBlastingWrapper+SMTInterpol

loading
details

attribute value
name UltimateIntBlastingWrapper+SMTInterpol
description UltimateIntBlastingWrapperPlusSMTInterpol Wrapper tool that that translates bitvectors to intergers and applies SMTInterpol. Max Barth, Matthias Heizmann [University of Freiburg, Germany] UltimateIntBlastingWrapper is part of Ultimate http://ultimate.informatik.uniMINUSfreiburg.de/ to which many people contributed.
owner Matthias Heizmann
uploaded 2023-05-29 15:32:28.0
disk size 404.87 MB
build status uploaded built
configurations
name description
default no description

actions get anonymous link download