FlutterTrends.dev
⌘K
Sponsored by- The #1 Flutter-powered AI app builder
Home/Top/Cryptography/fixed_z3

fixed_z3

v0.1.1 · released 2 years ago · BSD-3-CLAUSE License

First published 2 years ago.

Fixed implementation of high-level bindings to the Z3 SMT solver.

View on pub.dev View source
#544 in Cryptography #29729 overall no release in 2 years androidioswindowslinuxmacos
Downloads / day
1
as of 2026-05-13
GitHub stars
9
★ refreshed weekly
Likes
2
on pub.dev
Pub points
120 / 160

Repository health

Last commit
2 years ago
Commit activity
Open issues
1
Open PRs
0
Contributors
1
CI
None detected
License (repo)

Last refreshed 9 days ago.

License explained · BSD-3-Clause

BSD 3-Clause "New" License

Use freely, even commercially. Keep the notice. Don't use the author's name to endorse derived products without permission.

A permissive license similar to the BSD 2-Clause License, but with a 3rd clause that prohibits others from using the name of the copyright holder or its contributors to promote derived products without written consent.

You can

  • Commercial use
  • Distribution
  • Modification
  • Private use

You must

  • Include the license and copyright notice

The license does not

  • No liability
  • No warranty

Plain-English summary, not legal advice. Full text on SPDX or choosealicense.com. Summaries adapted from choosealicense.com (a GitHub project, MIT-licensed).

Commit activity, past 52 weeks

fixed_z3

0 commits in the past year
Stable
1 1 0 52w ago36w ago18w agothis week
Weekly average
0.0 commits
Busiest week
0 commits, this week
Active weeks
0 of 52 (0%)
Longest quiet stretch
52 weeks with no commits

Weekly commits to the default branch on GitHub. Source: GET /stats/participation. Refreshed weekly. Excludes commits to other branches.

How fixed_z3 compares in Cryptography

Top of the Cryptography leaderboard, with fixed_z3 highlighted.

Rank Package Downloads / day Stars Likes
#1
crypto
🇺🇸 dart.dev
455.9K ★ 74 1.9K
#2
flutter_secure_storage
🇸🇬 steenbakker.dev
180.3K ★ 1.3K 4.5K
#3
pointycastle
🇦🇺 bouncycastle.org
145.5K ★ 281 416
#4
asn1lib
 72.2K ★ 32 27
#544
fixed_z3
 1 ★ 9 2