Vol-2853⫷ Vol-2854 ⫸Vol-2855
urn:nbn:de:0074-2854-0


Vol-2854/paper2⫷Vol-2854/short3⫸Vol-2854/abstract3
Makai MannAmalee WilsonCesare TinelliClark W. Barrett

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