details

attribute value name UltimateEliminator+MathSAT-5.6.7 description UltimateEliminatorPLUSMathSAT Wrapper tool that eliminates quantifiers in SMT files and applies MathSAT. Max Barth, Daniel Dietsch, Matthias Heizmann [University of Freiburg, Germany] UltimateEliminator is part of Ultimate http://ultimate.informatik.uniMINUSfreiburg.de/ to which many people contributed. owner Matthias Heizmann uploaded 2022-07-03 06:50:05.0 disk size 319.77 MB build status uploaded built

configurations

name	description
default	no description

actions

get anonymous link download