Is boolector safe to use?

boolector has no known vulnerabilities on the latest version (3.2.4). DepScope rates its health at 26/100 (critical risk).

What is the latest version of boolector?

The latest version of boolector is 3.2.4, released 2026-02-20.

No known vulnerabilities on the latest version of boolector.

Yes, boolector is deprecated: repo_archived

DepScope has no curated alternatives for boolector at this time.

boolector is licensed under MIT.

homebrewv3.2.4deprecated

SMT solver for fixed-size bit-vectors

License MITpermissive1 versions1 maintainers1 deps2 weekly dl

/ 100

Health

find alternative

boolector is deprecated — find an alternative

Health breakdown0 – 100

20/25

maintenance

0/20

popularity

25/25

security

9/15

maturity

2/15

community

Vulnerabilities

none known

Dependencies (1)

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/homebrew/boolector

Last updated · 2026-02-20T05:52:15Z