There is a newer version of the record available.

Published June 13, 2024 | Version 24.06
Software Open

ths-rwth/smtrat: SMT-RAT 24.06

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

Updated release for the SMT-COMP 2024. The asset smtrat.tgz contains a pre-built binary.

Files

ths-rwth/smtrat-24.06.zip

Files (2.2 MB)

Name Size Download all
md5:618b1d016b93d22363d9cf451c24d699
2.2 MB Preview Download

Additional details

Related works

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