Repository
https://github.com/pysmt/pysmt
Project Slug
pysmt
Last Built
1 year, 3 months ago
passed
Maintainers
Home Page
http://www.pysmt.org/
Badge
-
reStructuredText
.. image:: https://readthedocs.org/projects/pysmt/badge/?version=latest
:target: https://pysmt.readthedocs.io/en/latest/?badge=latest
:alt: Documentation Status
-
Markdown
[](https://pysmt.readthedocs.io/en/latest/?badge=latest)
-
HTML
<a href='https://pysmt.readthedocs.io/en/latest/?badge=latest'>
<img src='https://readthedocs.org/projects/pysmt/badge/?version=latest' alt='Documentation Status' />
</a>
Tags
python,
smt,
formula,
python-3,
constraints,
satisfiability-modulo-theories
Short URLs
pysmt.readthedocs.io
pysmt.rtfd.io
Default Version
latest
'latest' Version
master