Up

PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms

PySMT: a Solver-Agnostic Library for Fast Prototyping of SMT-Based Algorithms
1 ยท 2

SMT

1 Using SMT-LIB losing the ability of exploiting features provided by solvers. Tools often use POSIX pipe to send textual commands to solver or call solver API. Second approach yields better performance and allows to access solver features beyond SMT-LIB. 2 PySMT is a bridge between power of API and generality of the SMT-LIB.

Sergey Vartanov, 2007–2020