Categories: None [Edit]

z3

https://rubygems.org/gems/z3
https://github.com/taw/z3
Ruby bindings for Z3 Constraint Solver

Total

Ranking: 20,731 of 191,296
Downloads: 78,197

Daily

Ranking: 12,374 of 191,254
Downloads: 58

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName
185,744750udb

Depends on

RankDownloadsName
81,268,799,165rake
27987,617,572ffi
29962,772,459rspec
72587,644,223pry
73586,558,334regexp_parser
99453,638,273simplecov
1,77918,204,901paint

Owners

#GravatarHandle
1icontaw