Is kissat safe to use?

kissat has no known vulnerabilities on the latest version (4.0.4). DepScope rates its health at 46/100 (high risk).

What is the latest version of kissat?

The latest version of kissat is 4.0.4, released 2025-10-16.

No known vulnerabilities on the latest version of kissat.

No, kissat is actively maintained. Latest release: 4.0.4 (2025-10-16).

DepScope has no curated alternatives for kissat at this time.

homebrewv4.0.4

Bare metal SAT solver

License MITpermissive1 versions1 maintainers0 deps6 weekly dl

/ 100

Health

use with caution

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

Health breakdown0 – 100

10/25

maintenance

0/20

popularity

25/25

security

9/15

maturity

2/15

community

Vulnerabilities

none known

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/homebrew/kissat

Last updated · 2025-10-16T20:16:38Z