cadical

condav2.1.3

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

License MITpermissive1 versions1 maintainers0 deps17 weekly dl
37
/ 100
Health
use with caution

[email protected] low health (37/100) — consider alternatives

  • Low health score (37/100)
Health breakdown0 – 100
10/25
maintenance
0/20
popularity
25/25
security
0/15
maturity
2/15
community
Vulnerabilities
0
none known

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

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

First published · 2025-06-06 11:43:12.467000+00:00

Last updated · 2025-06-06 11:43:43.884000+00:00