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
- Is supplement to
- https://github.com/ths-rwth/smtrat/tree/pub/onecell-1 (URL)