Is varisat-dimacs safe to use?

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

What is the latest version of varisat-dimacs?

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

Does varisat-dimacs have known vulnerabilities?

No known vulnerabilities on the latest version of varisat-dimacs.

Is varisat-dimacs deprecated?

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

What are alternatives to varisat-dimacs?

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

What license does varisat-dimacs use?

varisat-dimacs is licensed under MIT/Apache-2.0.

varisat-dimacs

cargov0.2.2

DIMCAS CNF parser and writer for the Varisat SAT solver

License MIT/Apache-2.0permissive2 versions0 deps2,875,002 weekly dl

jix/varisat

/ 100

Health

use with caution

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

Moderate health score (56/100) — verify manually

Health breakdown0 – 100

0/25

maintenance

17/20

popularity

25/25

security

12/15

maturity

2/15

community

Vulnerabilities

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-dimacs