Is varisat safe to use?

varisat has no known vulnerabilities on the latest version (0.2.2). DepScope rates its health at 54/100 (high risk).

What is the latest version of varisat?

The latest version of varisat is 0.2.2, released 2020-09-09.

No known vulnerabilities on the latest version of varisat.

No, varisat is actively maintained. Latest release: 0.2.2 (2020-09-09).

Popular alternatives to varisat in Cargo include: hashbrown, getrandom, windows-sys, syn.

varisat is licensed under MIT/Apache-2.0.

cargov0.2.2

A CDCL based SAT solver (library)

License MIT/Apache-2.0permissive5 versions0 deps2,536,637 weekly dl

/ 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

none known

Quality signals

OSS Criticality

0.67high

API access

Get this data programmatically — free, no authentication.

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