Repository
https://gitlab.com/krr/IDP-Z3.git
Project Slug
idp-z3
Last Built
2 weeks, 6 days ago
passed
Maintainers
Home Page
https://www.IDP-Z3.be
Badge
-
reStructuredText
.. image:: https://readthedocs.org/projects/idp-z3/badge/?version=latest
:target: http://docs.idp-z3.be/en/latest/?badge=latest
:alt: Documentation Status
-
Markdown
[![Documentation Status](https://readthedocs.org/projects/idp-z3/badge/?version=latest)](http://docs.idp-z3.be/en/latest/?badge=latest)
-
HTML
<a href='http://docs.idp-z3.be/en/latest/?badge=latest'>
<img src='https://readthedocs.org/projects/idp-z3/badge/?version=latest' alt='Documentation Status' />
</a>
Tags
Project has no tags.
Short URLs
idp-z3.readthedocs.io
idp-z3.rtfd.io
Default Version
latest
'latest' Version
main