Is github.com/togatoga/gatosat safe to use?

github.com/togatoga/gatosat has no known vulnerabilities on the latest version (v0.0.0-20181226015643-42399e6d7c44). DepScope rates its health at 28/100 (critical risk).

What is the latest version of github.com/togatoga/gatosat?

The latest version of github.com/togatoga/gatosat is v0.0.0-20181226015643-42399e6d7c44, released 2018-12-26.

Does github.com/togatoga/gatosat have known vulnerabilities?

No known vulnerabilities on the latest version of github.com/togatoga/gatosat.

Is github.com/togatoga/gatosat deprecated?

No, github.com/togatoga/gatosat is actively maintained. Latest release: v0.0.0-20181226015643-42399e6d7c44 (2018-12-26).

What are alternatives to github.com/togatoga/gatosat?

DepScope has no curated alternatives for github.com/togatoga/gatosat at this time.

What license does github.com/togatoga/gatosat use?

github.com/togatoga/gatosat is licensed under MIT.

github.com/togatoga/gatosat

govv0.0.0-20181226015643-42399e6d7c44

A CDCL SAT solver written in Golang(Go).

License MITpermissive0 versions2 maintainers0 deps2 weekly dl

togatoga/gatosat

/ 100

Health

use with caution

github.com/togatoga/[email protected] low health (28/100) — consider alternatives

Moderate health score (28/100) — verify manually

Health breakdown0 – 100

0/25

maintenance

0/20

popularity

25/25

security

0/15

maturity

3/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/go/github.com/togatoga/gatosat

Last updated · 2018-12-26T01:56:43Z