SV-COMP 22 Qualification Run Submission
Pre-release
Pre-release
This release contains the binaries and the source tree of the version which is submitted to the qualification run of the SV-COMP 2022 competition.
Minimal necessary packages for Ubuntu 20.04 LTS:
- openjdk-11-jre-headless
- libgomp1
- libmpfr-dev
Note: this release might contain unstable features and is NOT built from master.