details

attribute value name UltimateEliminator+MathSAT-5.6.9 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 May 29 2023 disk size 319.5 MB build status uploaded built

configurations

name	description
default	no description
incremental	no description

actions

get anonymous link download