Smooth-0.1.0.1: A tiny, lazy SMT solver

A tiny, lazy SMT solver. This solver is based on algorithms described in 'Decision Procedures: An Algorithmic Point of View'