details

attribute value name UltimateEliminator+MathSAT-5.6.2 description UltimateEliminatorPLUSMathSAT Wrapper tool that eliminates quantifiers in SMT files and applies MathSAT. Max Barth, Daniel Dietsch, Leonard Fichtner, Matthias Heizmann [University of Freiburg, Germany] UltimateEliminator is part of Ultimate http://ultimate.informatik.uniMINUSfreiburg.de/ to which many people contributed. owner Jochen Hoenicke uploaded 2020-05-18 08:04:04.0 disk size 18.07 MB build status uploaded built

configurations

name	description
default	no description

actions

get anonymous link download