boolector
- Latest release
- Apr 05, 2022
- Releases
- 9
- Known CVEs
- 0
- First release
- Sep 16, 2019
- License
- MIT
Insights
Activity
- Total releases
- 9
- Last 12 months
- 0
- Cadence
- ~2 months
- Dependencies
- 2
Releases per month
last 12 monthsRelease mix
- unknown 9
9
releases
Dependencies
Depends on
0.4.3-
boolector-sys
^0.7.1
-
libc
^0.2.73
Used by
5Releases
| Version | Released | |
|---|---|---|
0.4.3
unknown
|
0.4.3
unknown
Dependencies (2)
|
|
0.4.2
unknown
|
0.4.2
unknown
Dependencies (2)
|
|
0.4.1
unknown
|
0.4.1
unknown
Dependencies (2)
|
|
0.4.0
unknown
|
0.4.0
unknown
Dependencies (2)
|
|
0.3.0
unknown
|
0.3.0
unknown
Dependencies (2)
|
|
0.2.0
unknown
|
0.2.0
unknown
Dependencies (2)
|
|
0.1.2
unknown
|
0.1.2
unknown
Dependencies (2)
|
|
0.1.1
unknown
|
0.1.1
unknown
Dependencies (2)
|
|
0.1.0
unknown
|
0.1.0
unknown
Dependencies (2)
|