Library for SMT formula manipulation and solving
