Contents of smtlib-solver-0.0.1