Sign in Sign up
pypi

bauhaus

Build logical theories for SAT solvers on the fly

Latest release
Sep 11, 2024
Releases
7
Known CVEs
0
First release
Dec 16, 2020
License
MIT
View on Pypi
Repository

Source

qumulab/bauhaus
Stars
—
Forks
—
Open issues
—

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

No other tracked packages from this repository.

Insights

Activity

Total releases
7
Last 12 months
0
Cadence
~7 months
Dependencies
2

Releases per month

last 12 months

Release mix

  • minor 2
  • patch 3
  • pre 1
7 releases
Dependencies

Depends on

1.2.0

Used by

1
Releases
Version Released
1.2.0 minor
1.1.4 patch
1.1.3 patch
1.1.2 patch
1.1.1 minor
1.0.0 initial
1.0.0.dev0 pre