Repository
https://github.com/miniSat/Minisat
Project Slug
minisat
Last Built
4 years, 6 months ago
passed
Maintainers
Badge
-
reStructuredText
.. image:: https://readthedocs.org/projects/minisat/badge/?version=latest
:target: https://minisat.readthedocs.io/en/latest/?badge=latest
:alt: Documentation Status
-
Markdown
[](https://minisat.readthedocs.io/en/latest/?badge=latest)
-
HTML
<a href='https://minisat.readthedocs.io/en/latest/?badge=latest'>
<img src='https://readthedocs.org/projects/minisat/badge/?version=latest' alt='Documentation Status' />
</a>
Tags
ajax,
bootstrap4,
css,
django-framework,
html,
jquery,
orm,
python3
Short URLs
minisat.readthedocs.io
minisat.rtfd.io
Default Version
latest
'latest' Version
testing
