PySMT version 0.50 — A Python Front-End for Satisfiability Modulo Theories Solvers

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},
}