Repository
https://github.com/QuMuLab/bauhaus.git
Project Slug
bauhaus
Last Built
1 year, 4 months ago
passed
Maintainers
Badge
-
reStructuredText
.. image:: https://readthedocs.org/projects/bauhaus/badge/?version=main
:target: https://bauhaus.readthedocs.io/en/main/?badge=main
:alt: Documentation Status
-
Markdown
[](https://bauhaus.readthedocs.io/en/main/?badge=main)
-
HTML
<a href='https://bauhaus.readthedocs.io/en/main/?badge=main'>
<img src='https://readthedocs.org/projects/bauhaus/badge/?version=main' alt='Documentation Status' />
</a>
Tags
cnf,
constraints,
encodings,
logic,
nnf,
sat
Short URLs
bauhaus.readthedocs.io
bauhaus.rtfd.io
Default Version
main
'latest' Version
main
