Repository
https://github.com/smackers/smack.git
Project Slug
smack
Last Built
5 years, 4 months ago
failed
Maintainers
Badge
-
reStructuredText
.. image:: https://readthedocs.org/projects/smack/badge/?version=latest
:target: https://smack.readthedocs.io/en/latest/?badge=latest
:alt: Documentation Status
-
Markdown
[](https://smack.readthedocs.io/en/latest/?badge=latest)
-
HTML
<a href='https://smack.readthedocs.io/en/latest/?badge=latest'>
<img src='https://readthedocs.org/projects/smack/badge/?version=latest' alt='Documentation Status' />
</a>
Tags
c,
c-plus-plus,
llvm,
rust,
smt,
verification,
verification-toolchain,
verifier
Short URLs
smack.readthedocs.io
smack.rtfd.io
Default Version
latest
'latest' Version
master
