There is a newer version of the record available.

Published May 27, 2024 | Version 24.05
Software Open

ths-rwth/smtrat: SMT-RAT 24.05

Authors/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 for the SMT-COMP 2024. The asset smtrat.tgz contains a pre-built binary.

Files

ths-rwth/smtrat-24.05.zip

Files (2.2 MB)

Name Size Download all
md5:7eb22ec4939d0caaf6b87216da600477
2.2 MB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/ths-rwth/smtrat/tree/24.05 (URL)