| Original language | English |
|---|---|
| Publication status | Published - 2007 |
| MoE publication type | I2 ICT applications |
PySMT version 0.50 - a Python front-end for satisfiability modulo theories solvers
Research output: Artistic and non-textual form › Software › Scientific