Is bauhaus safe to use?

bauhaus has no known vulnerabilities on the latest version (1.2.0). DepScope rates its health at 33/100 (critical risk).

What is the latest version of bauhaus?

The latest version of bauhaus is 1.2.0, released 2024-09-11.

Does bauhaus have known vulnerabilities?

No known vulnerabilities on the latest version of bauhaus.

Is bauhaus deprecated?

No, bauhaus is actively maintained. Latest release: 1.2.0 (2024-09-11).

What are alternatives to bauhaus?

Popular alternatives to bauhaus in PyPI include: boto3, packaging, idna, urllib3, requests.

bauhaus

pypiv1.2.0

Build logical theories for SAT solvers on the fly

License MITpermissive7 versions1 maintainers2 deps54 weekly dl

QuMuLab/bauhaus

/ 100

Health

use with caution

[email protected] low health (33/100) — consider alternatives

Low health score (33/100)

Health breakdown0 – 100

0/25

maintenance

0/20

popularity

25/25

security

6/15

maturity

2/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

Dependencies (2)

nnf python-sat

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/bauhaus