SMT Interface libraryΒΆ

This library is experimental and contains standard routines to connect to SMT solvers.