Published November 30, 2022
| Version v1
Software
Open
MachSMT: Machine Learning Driven Algorithm Selection for SMT Solvers
- 1. University of Waterloo
- 2. Stanford University
Description
This artifact contains the scripts, tools and data to replicate the experiments in the journal paper "MachSMT: Machine Learning Driven Algorithm Selection for SMT Solvers" accepted for publication in the STTT special issue dedicated to TACAS2021. Please refer to the README.md for further instructions.
Files
artifact.zip
Files
(1.3 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:5064a485b24853ef03f33503d0a42378
|
1.3 GB | Preview Download |