UltimateEliminator+MathSAT-5.6.7

loading
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 Jun 22 2022
disk size 319.77 MB
build status uploaded built
configurations
name description
default no description

actions get anonymous link download