Releases: SMT-COMP/scrambler
Releases · SMT-COMP/scrambler
Release list
SMT-COMP 2022 pre-processors
The SMT-COMP 2022 release
SMT-COMP 2021 pre-processors
The smt-comp 2021 release
SMT-COMP 2020 pre-processors
smtcomp2020 The smtcomp 2020 release
SMT-COMP 2019 pre-processors
smtcomp2019 Fix grep command of incremental script (did not disregard rest of line).
SMT-COMP 2018 pre-processors
smtcomp2018 Add support for set-option and get-unsat-core commands (for the unsat…
SMT-COMP 2017 pre-processors
smtcomp2017 Add make targets for StarExec preprocessors
SMT-COMP 2016 pre-processors
Patch generate_unsat_core_benchmark.patch was applied on top of the sources of this release.
SMT-COMP 2015 pre-processors
smtcomp2015 Benchmark scrambler (sources) added.