Categories: None [Edit]

z3

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

Total

Ranking: 13,117 of 193,188
Downloads: 186,270

Daily

Ranking: 4,254 of 193,154
Downloads: 1,310

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName
18,148101,144udb

Depends on

RankDownloadsName
81,329,290,503rake
271,023,674,152ffi
29982,808,292rspec
69615,962,080regexp_parser
72605,055,053pry
97470,194,359simplecov
1,79318,797,319paint

Owners

#GravatarHandle
1icontaw