A Tool for Computing and Estimating the Volume of the Solution Space of SMT(LA)

Cunjing Ge, Feifei Ma, Jian Zhang

There are already quite a few tools for solving the Satisfiability Modulo Theories (SMT) problems. In this paper, we present \texttt{VolCE}, a tool for counting the solutions of SM…