Categories: None [Edit]

z3

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

Total

Ranking: 9,534 of 197,258
Downloads: 396,993

Daily

Ranking: 3,135 of 197,235
Downloads: 1,739

Downloads Trends

Ranking Trends

Num of Versions Trends

Popular Versions (Major)

Popular Versions (Major.Minor)

Depended by

RankDownloadsName
13,712181,566udb

Depends on

RankDownloadsName
81,434,061,178rake
271,101,155,132ffi
291,027,618,561rspec
68678,692,123regexp_parser
72639,274,546pry
98507,887,676simplecov
150356,539,835rdoc
1,79819,963,208paint

Owners

#GravatarHandle
1icontaw