Browsing Waterloo Research by Author "Niemetz, Aina"
Now showing items 1-1 of 1
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers Scott, Joseph; Niemetz, Aina; Preiner, Mathias; Ganesh, Vijay (2020)In this paper, we present MachSMT, an algorithm selection tool for state-of-the-art Satisfiability Modulo Theories (SMT) solvers. MachSMT supports the entirety of the logics within the SMT-LIB initiative. MachSMT uses ...