@misc{
    PySMT,
    author = "Junttila, Tommi",
    responsibleauthor = "Tommi Junttila",
    title = "{PySMT} version 0.50 --- A {Python} Front-End for Satisfiability Modulo Theories Solvers",
    url = "http://www.tcs.hut.fi/Research/Logic/SMUML.shtml",
    note = "Computer program",
    flags = "SOFTWARE SMUML",
    year = "2007",
    impactfactor = "G=computer_software"
}