There is a newer version of the record available.

Published December 7, 2021 | Version pub/onecell-1
Software Open

ths-rwth/smtrat:

Description

SMT-RAT version used for the evaluation of the "Levelwise construction of a single cylindrical algebraic cell" paper.

Instructions are included in the README. This version of SMT-RAT depends on a special version of CArL available at https://doi.org/10.5281/zenodo.5764567

Files

ths-rwth/smtrat-pub/onecell-1.zip

Files (26.0 MB)

Name Size Download all
md5:c52baa89abd3091c60000ad9472a6c3d
26.0 MB Preview Download

Additional details

Related works