Published December 10, 2024
| Version pub/covering-journal-3
Software
Open
ths-rwth/smtrat: pub/covering-journal-3
Creators
- 1. Theory of Hybrid Systems group @ RWTH
- 2. Theory of Hybrid Systems - RWTH Aachen University
- 3. Radboud University
- 4. Eindhoven University of Technology
- 5. RWTH Aachen University
- 6. Trail of Bits
- 7. Runtime Verification
Description
Release associated with the paper "Extensions of the Cylindrical Algebraic Covering Method for Quantifiers".
Files
ths-rwth/smtrat-pub/covering-journal-3.zip
Files
(9.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:63e3ec11b1da3c61120f633643c183c6
|
9.4 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/ths-rwth/smtrat/tree/pub/covering-journal-3 (URL)
Software
- Repository URL
- https://github.com/ths-rwth/smtrat