Is btor2-opt safe to use?

btor2-opt has no known vulnerabilities on the latest version (0.3.0). DepScope rates its health at 41/100 (high risk).

What is the latest version of btor2-opt?

The latest version of btor2-opt is 0.3.0, released 2025-06-05.

Does btor2-opt have known vulnerabilities?

No known vulnerabilities on the latest version of btor2-opt.

Is btor2-opt deprecated?

No, btor2-opt is actively maintained. Latest release: 0.3.0 (2025-06-05).

What are alternatives to btor2-opt?

Popular alternatives to btor2-opt in PyPI include: boto3, packaging, urllib3, certifi, idna.

What license does btor2-opt use?

btor2-opt is licensed under GPL-3.0.

btor2-opt

pypiv0.3.0

Very basic btor2 parser, circuit miter, and code optimizer.

License GPL-3.0strong copyleft6 versions5 deps19 weekly dl

/ 100

Health

use with caution

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

Moderate health score (41/100) — verify manually

Health breakdown0 – 100

10/25

maintenance

0/20

popularity

25/25

security

6/15

maturity

0/15

community

Vulnerabilities

none known

Health History

Dependency Tree

License Audit

Dependencies (5)

tqdm black;bumpver;isort;pip-tools;

API access

Get this data programmatically — free, no authentication.

curl https://depscope.dev/api/check/pypi/btor2-opt