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 May 29 2023 disk size 404.87 MB build status uploaded built

configurations

name	description
default	no description

actions

get anonymous link download