Exceptions for all things SMT related.
Definition at line 67 of file BinarySmtSolver.h.
#include <BinarySmtSolver.h>