Published November 30, 2022
| Version v1
Software
Open
MachSMT: Machine Learning Driven Algorithm Selection for SMT Solvers
Authors/Creators
- 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.