Published November 20, 2025
| Version 25.11
Software
Open
ths-rwth/smtrat: 25.11
Creators
- Gereon Kremer
- Jasper Nalbach1
- Florian Corzilius2
- Sebastian Junges3
- ValentinPromies
- Matthias Volk4
- MartaGr
- HyPro project5
- Johannes Neuhaus
- Koubska
- Stefan Schupp
- Andreas Krüger
- RHaehn
- Henrich Lauko6
- Wanja Hentze
- philippe-specht
- Carsten Perkampus
- Barsha Zaman
- oemer42
- Netz
- aleksandar-timanov
- malteneuss
- Raoul7
- HilKai
- 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. NextSilicon
- 7. Runtime Verification
Description
No description provided.
Files
ths-rwth/smtrat-25.11.zip
Files
(2.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:775e73a029616095401aae51635a8edc
|
2.3 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/ths-rwth/smtrat/tree/25.11 (URL)
Software
- Repository URL
- https://github.com/ths-rwth/smtrat