EasyChair Smart SlideDocs/Log in
Author: Caleb Donovick

This page shows all presentations of this author published in EasyChair Smart Slide.

Smt-Switch: a Solver-agnostic C++ API for SMT Solving

Smt-Switch: a Solver-agnostic C++ API for SMT Solving

Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli and Clark Barrett

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair