We welcome any type of contribution. Have a look at our additional information
(including signing the Contributor License Agreement) at [1].
Please open an issue before starting any major activity, so that we can discuss
the details.

[1] http://pysmt.readthedocs.io/en/latest/development.html
