Is cryptominisat safe to use?

cryptominisat has no known vulnerabilities on the latest version (5.8.0). DepScope rates its health at 50/100 (high risk).

What is the latest version of cryptominisat?

The latest version of cryptominisat is 5.8.0, released 2025-04-22.

No known vulnerabilities on the latest version of cryptominisat.

No, cryptominisat is actively maintained. Latest release: 5.8.0 (2025-04-22).

DepScope has no curated alternatives for cryptominisat at this time.

cryptominisat is licensed under MIT.

condav5.8.0

An advanced SAT Solver https://www.msoos.org

License MITpermissive10 versions1 maintainers0 deps1,317 weekly dl

/ 100

Health

safe to use

[email protected] is safe to use (health: 50/100)

Health breakdown0 – 100

5/25

maintenance

6/20

popularity

25/25

security

12/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/conda/cryptominisat

First published · 2020-09-13 20:37:06.618000+00:00

Last updated · 2025-04-22 14:56:47.290000+00:00