Reference:
Tommi Junttila. PySMT version 0.50 — a Python front-end for satisfiability modulo theories solvers, 2007. Computer program.
Suggested BibTeX entry:
@misc{PySMT, author = {Tommi Junttila}, note = {Computer program}, title = {{PySMT} version 0.50 --- A {Python} Front-End for Satisfiability Modulo Theories Solvers}, year = {2007}, }