Is minisat safe to use?

minisat has no known vulnerabilities on the latest version (2.2.1). DepScope rates its health at 56/100 (high risk).

What is the latest version of minisat?

The latest version of minisat is 2.2.1, released 2026-02-22.

No known vulnerabilities on the latest version of minisat.

No, minisat is actively maintained. Latest release: 2.2.1 (2026-02-22).

DepScope has no curated alternatives for minisat at this time.

homebrewv2.2.1

Minimalistic and high-performance SAT solver

License MITpermissive1 versions1 maintainers1 deps17 weekly dl

/ 100

Health

safe to use

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

Health breakdown0 – 100

20/25

maintenance

0/20

popularity

25/25

security

9/15

maturity

2/15

community

Vulnerabilities

none known

Dependencies (1)

API access

Get this data programmatically — free, no authentication.

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

Last updated · 2026-02-22T16:15:55Z