bauhaus
Build logical theories for SAT solvers on the fly
Activity
- Latest release
- 2y ago
- Total releases
- 7
- Cadence
- ~7 months
- Last 12 months
- 0
Details
- License
- MIT
- First release
- Dec 16, 2020
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
|