Published January 6, 2023
| Version pub/subtropical-1
Software
Open
ths-rwth/smtrat: pub/subtropical-1
Creators
- 1. Theory of Hybrid Systems group @ RWTH
- 2. Theory of Hybrid Systems - RWTH Aachen University
- 3. Radboud University
- 4. University of Twente, previously @moves-rwth
- 5. RWTH Aachen University
- 6. TU Wien CPS-group
- 7. Trail of Bits
- 8. Runtime Verification
Description
SMT-RAT version used for the evaluation of the "Subtropical Satisfiability for SMT Solving" 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.7509170 .
Files
ths-rwth/smtrat-pub/subtropical-1.zip
Files
(12.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:af18fa9bfa80e2f740888faff0aa20fb
|
12.7 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/ths-rwth/smtrat/tree/pub/subtropical-1 (URL)