Is cadical safe to use?

cadical has no known vulnerabilities on the latest version (3.0.0). DepScope rates its health at 51/100 (high risk).

What is the latest version of cadical?

The latest version of cadical is 3.0.0, released 2025-12-23.

No known vulnerabilities on the latest version of cadical.

No, cadical is actively maintained. Latest release: 3.0.0 (2025-12-23).

DepScope has no curated alternatives for cadical at this time.

homebrewv3.0.0

Clean and efficient state-of-the-art SAT solver

License MITpermissive1 versions1 maintainers0 deps6 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

15/25

maintenance

0/20

popularity

25/25

security

9/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

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

Last updated · 2025-12-23T22:28:37Z