varisat

cargov0.2.2

A CDCL based SAT solver (library)

License MIT/Apache-2.0permissive5 versions0 deps2,536,637 weekly dl
jix/varisat
54
/ 100
Health
safe to use

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

Health breakdown0 – 100
0/25
maintenance
17/20
popularity
25/25
security
12/15
maturity
0/15
community
Vulnerabilities
0
none known
Quality signals
OSS Criticality
0.67high

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/cargo/varisat

First published · 2018-05-19T19:23:33.791536Z

Last updated · 2020-09-09T17:10:13.750113Z